Eu sou um estudante universitário de Ciência da Computação, com uma grande paixão por estudar Matemática. Acredito firmemente que Ciência da Computação ou Ciência da Computação Teórica é um ramo direto da Matemática e da Lógica e também da opinião de que um diploma em Ciência da Computação deve...
Pelo menos em Java, se eu escrever este código: float a = 1000.0F; float b = 0.00004F; float c = a + b + b; float d = b + b + a; boolean e = c == d; o valor de seria . Acredito que isso seja causado pelo fato de os flutuadores serem muito limitados na maneira de representar números com...
Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Muitas vezes, existem linguagens de programação...
Houve alguma pesquisa sobre a complexidade da prova de uma resolução para o problema P = NP? Caso contrário, dada a falta de progresso no problema, não seria razoável conjeturar que qualquer prova que resolva o problema P = NP exigirá um número super-polinomial de
De acordo com a página da Wikipedia sobre atribuição estática-única (SSA) , o SSA é usado por projetos grandes e conhecidos, como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey e V8, enquanto a página em projetos usa o estilo de passagem de continuação (CPS) é um pouco ausente em comparação. Eu tenho...
Temos uma grade . Nós temos uma coleção de retângulos nessa grade, cada retângulo pode ser representado como um -by- binário matriz . Queremos cobrir a grade com esses retângulos.N1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR A versão de decisão deste conjunto cobre o problema NP-complete? Entrada:...
Disseram-me que usaríamos uma lista se o gráfico for escasso e uma matriz se o gráfico for denso . Para mim, é apenas uma definição bruta. Não vejo muito além disso. Você pode esclarecer quando seria a escolha natural a fazer? Desde já,
Um conjunto é contável se tiver uma bijeção com os números naturais e é computávelmente enumerável (ce) se houver um algoritmo que enumere seus membros. Qualquer conjunto enumerável computacionalmente não finito deve ser contável, pois podemos construir uma bijeção a partir da enumeração. Existem...
Suponha que você tenha uma matriz de tamanho contendo números inteiros de a , inclusive, com exatamente cinco repetidos. Preciso propor um algoritmo que possa encontrar os números repetidos em tempo. Pela minha vida, não consigo pensar em nada. Eu acho que a classificação, na melhor das hipóteses,...
Existem espaços-tempo relativísticos (por exemplo, espaços-tempo MH; ver Hogarth 1994) em que uma linha do mundo de duração infinita pode estar contida no passado de um observador finito. Isso significa que um observador normal pode ter acesso a um número infinito de etapas de computação. Supondo...
Tenho a impressão de que, para todo problema NP-completo, para infinitos tamanhos de entrada , o número de instâncias yes em todas as entradas possíveis de tamanho é (pelo menos) exponencial em .nnnnnnnnn Isso é verdade? Isso pode ser comprovado (provavelmente apenas sob a suposição de que )? Ou...
Alguém em uma discussão levantou que (ele acha) que pode haver pelo menos um número contínuo de estratégias para abordar um problema específico. O problema específico era estratégias de negociação (não algoritmos, mas estratégias), mas acho que isso não vem ao caso da minha pergunta. Isso me fez...
Encontrei um algoritmo para resolver um problema do mundo real e lembro-me de uma aula que fiz onde fiz algo muito semelhante para alguns para um problema de lição de casa. Basicamente, é um gráfico de pontos, e as linhas são desenhadas para serem equidistantes entre dois pontos. Ele forma uma...
eu escrevi ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) mas meu amigo diz que isso está errado. Na folha de dicas do TCS, eu sei que a soma também é chamada de que tem crescimento logarítmico em ....
O problema da largura de banda mínima é encontrar uma ordem dos nós do gráfico na linha inteira que minimiza a maior distância entre dois nós adjacentes. O problema de decisão é NP-completo, mesmo para árvores binárias. Resultados de complexidade para minimização de largura de banda. Garey,...
Eu estava procurando por problemas abertos interessantes e fáceis de declarar em computabilidade (compreensível por estudantes de graduação que fazem seu primeiro curso em computabilidade) para dar exemplos de problemas abertos (e obviamente eu quero que os alunos possam entender o problema sem...
Algoritmos e estruturas de dados alheios ao cache são algo bastante novo, introduzido por Frigo et al. em algoritmos alheios a cache, 1999 . A tese de Prokop do mesmo ano também apresenta as idéias iniciais. O artigo de Frigo et al. apresentar alguns resultados experimentais mostrando o potencial...
Seja uma gramática livre de contexto. Uma série de terminais e não terminais de é dito ser uma forma sentencial de se você pode obtê-lo através da aplicação de produções de zero ou mais vezes para o símbolo de início de . Vamos ser o conjunto de formas de sentenciais .GGGG G S SF ( G )...
Estou tentando provar que uma árvore binária com nós tem no máximo leaves. Como eu faria isso com indução?nnn⌈ n2⌉⌈n2⌉\left\lceil \frac{n}{2} \right\rceil Para as pessoas que estavam seguindo a pergunta original sobre pilhas, ela foi movida para aqui
Eu estava explicando o famoso algoritmo determinístico de seleção em tempo linear ( algoritmo de mediana de medianas) a um amigo. A recursão neste algoritmo (embora seja muito simples) é bastante sofisticada. Existem duas chamadas recursivas, cada uma com parâmetros diferentes. Eu estava tentando...