Ciência da Computação Teórica

A noção de redução de tempo polinomial (reduções de Cook) é uma abstração de um conceito muito intuitivo: resolver um problema com eficiência usando um algoritmo para um problema diferente. No entanto, na teoria de -completeness, a noção de -hardness é capturado por meio de reduções de mapeamento (reduções Karp). …

18 cc.complexity-theory  np-hardness  soft-question 

Eu sei que é impossível decidir equivalência para o cálculo lambda sem tipo. Citando Barendregt, HP O cálculo Lambda: sua sintaxe e semântica. Holanda do Norte, Amsterdã (1984). :ββ\beta Se A e B são disjuntos, conjuntos não vazios de termos lambda que são fechados em igualdade, então A e B …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Todas as funções cujo peso fourier está concentrado nos conjuntos pequenos (ou termos com baixo grau) são computadas pelos circuitos ?A C0 0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Em um tópico recente na lista de discussão da Agda, surgiu a questão das leis ηη\eta , na qual Peter Hancock fez comentários instigantes . Meu entendimento é que leis vêm com tipos negativos, ie. conectivos cujas regras de introdução são invertíveis. Para desabilitar para funções, Hank sugere o uso …

18 lo.logic  type-theory  lambda-calculus  proof-theory 

Uma regra de quadro , como a fornecida abaixo, captura a idéia de que, dado um programa ccom pré-condição pque é mantida antes da execução e pós-condição qque é rmantida posteriormente, alguma condição de desarticulação deve ser mantida antes e depois da cexecução. (O *conectivo exige que seus argumentos sejam …

18 lo.logic  pl.programming-languages  program-logic 

A teoria das categorias e a álgebra abstrata lidam com a maneira como as funções podem ser combinadas com outras funções. A teoria da complexidade lida com a dificuldade de calcular uma função. É estranho para mim não ter visto ninguém combinar esses campos de estudo, pois eles parecem pares …

18 cc.complexity-theory  algebra  algebraic-complexity 

Seja a classe dos problemas de decisão que possuem um algoritmo aleatório delimitado com erro de dois lados, executando no tempo .O ( f ( n ) )BPTIME(f(n))BPTEuME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Conhecemos algum problema tal que mas ? A sua inexistência é comprovada? Q ∈ B P T I M E ( n …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

Eu nunca vi um algoritmo com um log no denominador antes e gostaria de saber se existem algoritmos realmente úteis com este formulário. Entendo muitas coisas que podem fazer com que um fator de log seja multiplicado no tempo de execução, por exemplo, algoritmos de classificação ou de árvore, mas …

18 ds.algorithms  big-list  time-complexity 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Mafia é um popular role-playing game em festas, uma descrição detalhada está disponível na wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Basicamente, funciona da seguinte maneira: No início, cada um dos jogadores recebe secretamente um papel, alinhado com a Máfia ou com a Cidade. Cada função pode ter habilidades especiais; mais sobre isso mais …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

Foi realizado algum trabalho sobre como a complexidade das instâncias aleatórias do # 2-SAT varia com a densidade da cláusula? Ou seja: como a dificuldade de contar soluções satisfatórias para uma instância gerada aleatoriamente de 2-SAT varia, conforme a densidade da cláusula varia? Em particular, existem resultados rigorosos conhecidos envolvendo …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Suponha que é uma árvore de grau constante cuja estrutura não conhecemos. O problema é produzir a árvoreTTTTTT , solicitando consultas no formulário: "O nó xxx fica no caminho do nó aaa ao nó bbb ?". Suponha que cada consulta possa ser respondida em tempo constante por um oráculo. Sabemos …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

O zoológico de complexidade não tem muito a ver com o . Estou procurando um bom problema de que esteja nos níveis mais altos da hierarquia, isto é, um problema no mas não se sabe que está em .SCSC\mathsf{SC}††^\daggerDTimeSpace(nO(1),lgO(1)n)DTimeSpace(nO(1),lgO(1)⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^{O(1)} n)DTimeSpace(nO(1),lg2n)DTimeSpace(nO(1),lg2⁡n)\mathsf{DTimeSpace}(n^{O(1)},\lg^2n) Como uma questão paralela, existe algum motivo conhecido para encontrar …

18 cc.complexity-theory  complexity-classes 

Como você sabe, existem muitas anomolias para as máquinas de Turing de fita única quando o tempo é : simulação de fita múltipla TM, simulação de alfabeto de fita maior com apenas { 0 , 1 , b } , construtibilidade de tempo, não estanqueidade teorema da hierarquia temporal, ...o …

18 cc.complexity-theory  turing-machines 

Estou trabalhando em um problema definido para uma classe e pensei em uma pergunta relacionada ao que eu estava trabalhando. Existe um número mínimo de estados que um autômato finito deve ter para aceitar cadeias binárias que representam números divisíveis por um número inteiro n? Em um conjunto de problemas …

18 automata-theory