Ciência da Computação Teórica

Na introdução deste artigo Objetos Compartilhados Eventualmente Linearizáveis ​​(PODC'10) , os autores apresentaram a seguinte declaração sem referências: A linearidade, no entanto, pode ser alcançada se e somente se o consenso puder ser resolvido. Aqui, linearizabilidade é a propriedade de consistência mais forte conhecida de objetos compartilhados, proposta no artigo …

9 reference-request  dc.distributed-comp 

Eu estou olhando para a complexidade de satisfazibilidade de uma fórmula ou de uma fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ onde ϕ é a fórmula da forma: ϕ : = ϕ ∧ ϕ | ¬ & Phi; …

9 cc.complexity-theory  reference-request  lo.logic 

Por favor, desculpe a concisão do título, posso ter sacrificado a clareza no altar da concisão. Pode-se ver que inserir elementos de uma matriz em uma árvore de pesquisa binária e lê-los novamente requer (na inserção) as mesmas comparações que a execução do Quicksort nessa matriz. A sequência de pivots …

9 ds.algorithms  ds.data-structures  sorting 

Suponha que operemos em um campo finito. Nos é dado um grande polinômio fixo p (x) (de, digamos, grau 1000) sobre esse campo. Esse polinômio é conhecido de antemão e temos permissão para fazer cálculos usando muitos recursos na "fase inicial". Esses resultados podem ser armazenados em tabelas de pesquisa …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

Grande parte da literatura da computação quântica se concentra no modelo de circuito. A computação quântica adiabática não se baseia na aplicação de uma sequência de operadores unitários, mas na alteração de um hamiltoniano dependente do tempo. Estou procurando informações sobre qualquer um dos seguintes. A computação quântica adiabática é …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Aqui estão duas famílias de funções de hash nas strings :x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle Para prime e , para a \ in \ mathbb {Z} _p . Dietzfelbinger et al. mostrado em "Funções de hash polinomiais são confiáveis" que \ forall x \ neq …

9 ds.data-structures  randomness  hash-function 

Considere uma fórmula Monotone 3CNF com as duas restrições adicionais a seguir: Cada variável aparece em exatamente cláusulas.222 Dadas cláusulas, elas compartilham no máximo variável.222111 Eu gostaria de saber o quão difícil é contar as tarefas satisfatórias dessa fórmula. Atualização 06/04/2013 12:55 Eu também gostaria de saber o quão difícil …

9 cc.complexity-theory  sat  counting-complexity 

Considere um gráfico com todas as arestas com capacidade unitária. Pode-se encontrar o corte mínimo no tempo polinomial. Suponha que eu possa aumentar a capacidade de qualquer arestas até o infinito (equivalente a mesclar os nós em ambos os lados da aresta). Qual é a maneira ideal de selecionar um …

9 ds.algorithms  graph-theory  co.combinatorics  max-flow-min-cut 

Introdução Estou escrevendo minha tese de doutorado em Abstract Delta Modeling (ADM), uma descrição algébrica abstrata de modificações (conhecidas como deltas ) capazes de atuar em produtos (como em 'produtos de software'). Isso pode ser usado para organizar um conjunto de produtos relacionados (uma 'linha de produtos') como um produto …

9 pl.programming-languages  algebra  monoid 

Vi que algumas pessoas usam a notação de Krivine para aplicação de funções ao apresentar a sintaxe para o cálcio- . Por exemplo, o λ -termo λ f . λ x . λ y . f x y (com a convenção normal de que o aplicativo de função se associa …

9 lo.logic  lambda-calculus 

Eu sou um estudante de graduação da Índia. Estou muito interessado em participar de oficinas, conferências e palestrantes convidados ministrados por professores de destaque. No final da palestra, como sempre, algumas pessoas farão perguntas e o orador as responderá. Mas meu problema é que não estou entendendo a maioria das …

9 co.combinatorics  soft-question 

Sabemos que . No Teorema de Savitch, e, no Teorema da Hierarquia Espacial, \ mathcal {L} \ neq \ mathcal {L} ^ 2 . Portanto, como não sabemos se \ mathcal L \ neq \ mathcal P , não sabemos se \ mathcal L ^ 2 \ subseteq \ mathcal …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Seja a classe de idiomas decidida alternando as máquinas de Turing que param no tempo usando o espaço . Seja a classe de linguagens decidida por máquinas de Turing alternadas que param de usar alternações de e espaço .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) Ruzzo provou que . Ele também mostrou que .NCk=ATISP(logkn,logn)NCk=ATISP(logk⁡n,log⁡n)\mathsf{NC}^k …

9 cc.complexity-theory  complexity-classes  structural-complexity 

Estou confuso. Quero provar que que o problema da ordenação de um por matriz ou seja, as linhas e colunas estão em ordem crescente é . Prossigo supondo que isso possa ser feito mais rapidamente que tento violar o limite inferior Para comparações necessárias para classificar m elementos. Eu tenho …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics 

Existe uma família conhecida de ações de grupo com um elemento designado no conjunto em que está sendo atuado, onde é sabido como \: amostra (essencialmente uniformemente) dos grupos, calcula as operações inversas, calcula as operações do grupo e calcula as ações do grupo \: e não existe um algoritmo …

9 cr.crypto-security  quantum-computing  gr.group-theory