Ciência da Computação

xorportão, agora preciso construir este portão usando apenas quatro nandportão a b out 0 0 0 0 1 1 1 0 1 1 1 0 o xor = (a and not b) or (not a and b), que é A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Eu sei a resposta, mas como obter o diagrama da …

16 logic  boolean-algebra 

Por que usamos outras bases que não são binárias (para computadores) nem decimais (para seres humanos)? Os computadores acabam representando-os em binário, e os humanos preferem fortemente obter sua representação decimal. Por que não seguir essas duas bases?

16 numeral-representations 

É verdade que a consistência sequencial é uma propriedade mais forte que a coerência do cache? De acordo com Daniel Sorin; Hill, Mark D; Wood, David A: Uma cartilha sobre consistência de memória e coerência de cache , Morgan & Claypool, 2011 a consistência sequencial pode ser descrita como (não …

16 computer-architecture  cpu-cache  shared-memory 

Entendo que o uso do DFS "como está" não encontrará o caminho mais curto em um gráfico não ponderado. Mas por que ajustar o DFS para permitir encontrar caminhos mais curtos em gráficos não ponderados é uma perspectiva tão impossível? Todos os textos sobre o assunto simplesmente afirmam que isso …

16 algorithms  graph-theory  shortest-path 

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 que seja possível que …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

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 …

15 algorithms  data-structures  terminology  computational-geometry 

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 podemos, …

15 complexity-theory  np-complete  np-intermediate 

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 pensar sobre …

15 algorithms  turing-machines  combinatorics 

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 …

15 compilers  program-optimization  continuations 

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: coleçãoC={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} de retângulos na grade (tamanho da …

15 complexity-theory  np-complete  set-cover 

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 etapas?

15 complexity-theory  np 

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 especializadas para tarefas específicas. Algumas linguagens de programação são excelentes em aritmética de …

15 programming-languages 

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, seria ? …

15 algorithms  arrays  searching 

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 …

15 arithmetic  floating-point  numerical-algorithms 

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 sempre …

15 mathematical-foundations