Faz NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP}espera? Claramente NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP} , mas parece-me que NP∩coNPNP∩coNP\mathsf{NP\cap coNP} é "determinístico", o que me faz acreditar que isso é verdade. Existe uma prova simples (ou talvez apenas por definição)?...
Portanto, uma rápida pesquisa na web me levou a acreditar que "o APXHardness implica que não existe QPTAS para um problema, a menos que [alguma classe de complexidade] esteja incluída em alguma [outra classe de complexidade]" e também é bem conhecido! Parece que todo mundo sabe disso, exceto eu....
Podemos provar que, para cada idioma que não é N P- duro (isso assume P ≠ N P ), P L ≠ P SAT ? Como alternativa, isso pode ser comprovado sob quaisquer suposições razoáveis?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne...
A página da wikipedia no PSPACE menciona que a inclusão não é conhecida por ser rigorosa (infelizmente sem referências).NL ⊂ PHNL⊂PHNL\subset PH Q1: E quanto a e L ⊂ P # P - estes são conhecidos por serem rigorosos?L ⊂ PHL⊂PHL\subset PHL ⊂ P# PL⊂P#PL\subset P^{\#P} Q2: Se não, existe uma classe...
Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as...
A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura incremental é uma...
Seja uma função booleana com sensibilidade s ( f ) e bloqueie a sensibilidade b s ( f ) .fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) A conjectura de conjectura de sensibilidade de bloco de sensibilidade afirma que existe um tal que ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s (...
A barreira das provas naturais de Razborov e Rudich afirma que, sob suposições criptográficas confiáveis, não se pode esperar separar NP de P / poly encontrando propriedades combinatórias de funções construtivas, grandes e úteis. Existem vários resultados bem conhecidos que conseguem escapar à...
Estou procurando uma lista sobre a complexidade conhecida ou desconhecida de vários problemas teóricos / algébricos de números. Por exemplo, GCD em está aberto,NC1NC1NC^1 factoring em é aberto,PPP a cohomologia do feixe de computação é -hard# P#P\#P , Arora e Barak afirmam que uma variante de...
Quais são algumas afirmações (não conhecidas) de que, se verdade, o PH deve entrar em colapso? Respostas que contenham uma breve declaração de alto nível com referência (s) são apreciadas. Tentei fazer uma pesquisa reversa sem muita
P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que por sua vez tem conseqüências interessantes como o colapso da hierarquia polinomial.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Existem implicações interessantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq
em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊...
A redução de Karp é uma redução computável de muitos-um no tempo polinomial entre dois problemas computacionais. Muitas reduções de Karp são na verdade funções individuais. Isso levanta a questão de saber se toda redução de Karp é injetiva (função one-one). Existe um natural de completo que é...
Eu me pergunto, o que aconteceria se, na definição de (Hierarquia Polinomial, veja, por exemplo, aqui ), o papel do fosse substituído pelo ?PHPHPHNPNPNPRPRPRP Parece que ainda podemos construir uma hierarquia, da mesma forma que o é construído, apenas usando todos os lugares, em vez de , e vez de...
Seja o tamanho mínimo de um circuito aritmético (não monótono) ( + , × , - ) que computa um dado polinômio multilinear f ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( f)A(f)A(f)( + , × , - )(+,×,−)(+,\times,-) e B ( f ) denotam o tamanho mínimo de umcircuitobooleano(não monótono) ( ∨ , ∧...
Estou considerando a linguagem de todas as fórmulas lógicas proposicionais satisfatórias, SAT (para garantir que esse alfabeto seja finito, codificaríamos letras proposicionais de alguma maneira adequada [editar: as respostas apontaram que a resposta à pergunta pode não ser robusta em codificações...
Uma observação fácil é que, se um problema é determinável por um programa não-determinístico de tempo polinomial usando S ( log n ) bits de nondeterministic (isto é, todas as testemunhas são logarítmicas em comprimento), em seguida, uma ∈ P .AAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Se...
A densidade de uma linguagem é uma função definida como Suponha que e são linguagens mais algum alfabeto finito, muitos e um logspace reduz a e não está na . Funções são polinomialmente relacionada se existem polinómios e tais que, para todos os , ed X : N → N d X ( n ) = | { X ∈ X | | x | ≤ n } |...
O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o
Na recente pré-impressão https://arxiv.org/abs/1801.00776 , afirma-se que números reais podem ser classificados no tempo O ( n √nnn e no espaço linear. O artigo parece razoável, embora eu não seja especialista em algoritmos de classificação.O(nlogn−−−−√),O(nlogn),O(n \sqrt{\log n}), Se...