Perguntas com a marcação «cc.complexity-theory»

Existem pesquisadores mostrando que o apagamento de bit deve consumir energia, agora existem pesquisas sobre o consumo médio de energia do algoritmo com complexidade computacional ? Eu acho que a complexidade computacional F ( n ) está correlacionada com o consumo médio de energia, espero poder obter alguma resposta aqui.F( …

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics 

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(nlog⁡n),O(n \sqrt{\log n}), Se correto, isso seria significativo, acredito, pelo menos teoricamente. A apresentação do argumento …

12 cc.complexity-theory  ds.algorithms  sorting 

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 suficiente?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Estou interessado especialmente no caso em que , …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

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 …

12 cc.complexity-theory  reductions  structural-complexity 

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 variadas, então é preciso ser mais específico - veja …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

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

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

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 …

12 cc.complexity-theory  randomized-algorithms  randomness 

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 é conhecido por …

12 cc.complexity-theory 

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

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

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 NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

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 fatoração é completa (embora …

12 cc.complexity-theory  big-list  algebra  open-problem 

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 à barreira. Também existem vários artigos discutindo possíveis …

12 cc.complexity-theory  circuit-complexity 

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 ) ≤ …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

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 …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

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 …

12 cc.complexity-theory  complexity-classes  logspace