Ciência da Computação

Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não? Pesquisei no Google, mas não encontrei a resposta.

8 complexity-theory 

Estou aprendendo sobre análise assintótica e vi algumas complexidades de aparência exótica vivendo entre outras comuns. Por exemplo, "log log n" é estritamente entre 1 e log n. Isso me faz pensar se sempre podemos encontrar complexidades entre os outros dois. Especificamente, para quaisquer funções feg com O (f) ⊂ …

8 complexity-theory  time-complexity  asymptotics 

Como estudei, decidir a regularidade das linguagens sem contexto é indecidível. No entanto, podemos testar a regularidade usando o teorema de Myhill-Nerode, que fornece uma condição necessária e suficiente. Portanto, o problema deve ser decidido. Onde está meu erro?

8 formal-languages  computability  regular-languages  undecidability 

Como existe um cálculo lambda sem tipo e um cálculo lambda com tipo simples (como descrito, por exemplo, no livro Tipos e linguagens de programação de Benjamin Pierce), existe uma lógica combinatória de tipo simples? Por exemplo, parece que os tipos naturais para os combinadores S, K e eu seriam …

8 logic  lambda-calculus  functional-programming  combinatory-logic 

Aqui está uma pergunta talvez ingênua que me formigou: Existe algum Ω(n−−√3)Ω(n3)\Omega(\sqrt[3]{n})limite inferior assintótico para endereçar memória arbitrariamente grande aleatoriamente? Minha causa de crença é que o caminho mais curto para qualquer memória armazenada fisicamente deve ser através do espaço tridimensional, e a diagonal aqui deve ter um comprimento mínimo. …

8 algorithms 

Recentemente, estou lendo artigos sobre dicotomia . Não entendo que condição pode ser chamada de dicotomia ? Qual é o significado de "uma pergunta está em P ou em NP - completa "? (suponha P NP )≠≠\neq Por exemplo, eu conheço o teorema da dicotomia de Schaefer, no qual é …

8 complexity-theory  np-complete  satisfiability 

Sou um estudioso de ciência da computação e estou sendo solicitado a escrever um artigo que envolva fatoração de número inteiro. Como resultado, estou tendo que analisar o algoritmo de Shor em computadores quânticos. Para os outros algoritmos, consegui encontrar equações específicas para calcular o número de instruções do algoritmo …

8 time-complexity  quantum-computing  factoring 

Há muito tempo que estou tentando encontrar uma construção para poder demonstrar formalmente que um PDA determinístico está fechado sob complementação. No entanto, acontece que toda idéia que recebi tem algo que no final não se encaixa. Você poderia me ajudar? O principal problema acontece com os movimentos ε . …

8 formal-languages  automata  closure-properties  pushdown-automata 

Eu tenho gráficos e com com que passam verificações de sanidade como como lema sem homomorfismo. Existem ferramentas gratuitas e fáceis de usar para testar o homomorfismo gráfico de para ?GkGkG_kHkHkH_k|V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k}k∈Nk∈Nk\in\Bbb NGGGHHH

8 complexity-theory  graph-theory 

Parece-me que, tomando conta de todo o gráfico, a norma do vetor de erro deve estar diminuindo monotonicamente; caso contrário, não poderíamos garantir que o PageRank jamais convergisse. No entanto, o mesmo vale por vértice? Ou seja, da iteração t para a iteração t + 1, é garantido que o …

8 graph-theory  algorithm-analysis  error-estimation 

Estou tendo problemas para entender por que é fácil detectar ciclos de peso negativo (Bellman Ford), mas é difícil encontrar o ciclo de peso máximo em um gráfico não direcionado. Se negarmos o peso de cada aresta, podemos descobrir facilmente se existem ciclos com peso total> 0. No entanto, não …

8 complexity-theory  graph-theory 

Vários algoritmos populares de aprendizado de máquina, como regressão logística ou redes neurais, exigem que suas entradas sejam numéricas. O que me interessa é como você faz esses algoritmos funcionarem em entradas não numéricas (como seqüências de caracteres curtas). Como exemplo, digamos que estamos construindo um sistema de classificação de …

8 machine-learning  data-mining 

Estou procurando um algoritmo que forneça uma string canônica para um determinado gráfico colorido. Ou seja. um algoritmo que retorna uma string para um gráfico, de modo que dois gráficos obtenham a mesma string se e somente se forem isomórficos. Em particular, estou procurando um algoritmo simples que seja fácil …

8 algorithms  graph-theory  combinatorics 

Eu li que a maioria dos cientistas não acredita que P = NP. Pode ser subjetivo, mas você pode simplificar por que não? Não sou informado o suficiente para ter uma opinião, mas gostaria de conhecer as definições e algumas explicações "bastante simples" por que acreditar em um ou outro …

8 nondeterminism  polynomial-time 

Seja e sejam vetores de variáveis ​​booleanas. Eu tenho um predicado booleano em . Dou à minha amiga Priscilla . Em resposta, ela me fornece , um predicado booleano em , e ela afirma quex=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)y=(y1,…,yn)y=(y1,…,yn)y=(y_1,\dots,y_n)nnnQ(x,y)Q(x,y)Q(x,y)x,yx,yx,yQ(x,y)Q(x,y)Q(x,y)P(x)P(x)P(x)xxx P(x)≡∃y.Q(x,y),P(x)≡∃y.Q(x,y),P(x) \equiv \exists y . Q(x,y), ou em outras palavras, que ∀x.[P(x)⇔∃y.Q(x,y)].∀x.[P(x)⇔∃y.Q(x,y)].\forall x . [P(x) …

8 logic  satisfiability  first-order-logic  software-verification  model-checking