Ciência da Computação Teórica

O algoritmo húngaro é um algoritmo de otimização combinatória que resolve o problema de correspondência bipartida de peso máximo em tempo polinomial e antecipou o desenvolvimento posterior do importante método primal-duplo . O algoritmo foi desenvolvido e publicado por Harold Kuhn em 1955, que deu o nome "algoritmo húngaro" porque …

14 graph-theory  reference-request  graph-algorithms  linear-programming  primal-dual 

1) É possível ter uma redução parcimoniosa de um problema # P-completo # A para um problema de contagem # B quando (a versão de decisão) A está NP-completa e B está em P? Por exemplo, pode haver uma redução parcimoniosa de #SAT para #B, quando B está em P? …

14 cc.complexity-theory  complexity-classes  counting-complexity 

Escrevi uma implementação do algoritmo Kuhn-Munkres para o problema de correspondência perfeita bipartida de peso mínimo com base nas notas de aula encontradas aqui e ali na web. Funciona muito bem, mesmo em milhares de vértices. E eu concordo que a teoria por trás disso é verdadeiramente bela. E ainda …

14 ds.algorithms  graph-theory  linear-programming  simplex 

Dadas duas CNF, se elas tiverem o mesmo número de atribuições para torná-las verdadeiras, responda "Sim", caso contrário, responda "Não". É fácil ver que está em , pois se soubermos o número exato de soluções para essas duas CNF, apenas as colocamos em campo e respondemos "Sim" ou "Não".P#PP#PP^{\#P} Qual …

14 cc.complexity-theory  complexity-classes  counting-complexity 

(Eu já perguntei isso no MathOverflow, mas não tenho respostas lá.) fundo No cálculo lambda não tipado, um termo pode conter muitos redexos, e diferentes opções sobre qual deles reduzir podem produzir resultados totalmente diferentes (por exemplo, (λx.y) ( ( λx.xx)λx.xx)(λx.y)((λx.xx)λx.xx)(\lambda x.y)((\lambda x.xx)\lambda x.xx) que em um passo ( -) …

14 pl.programming-languages  lambda-calculus  proof-theory  normalization 

Estou revisando algum modelo criptográfico. Para mostrar sua inadequação, desenvolvi um protocolo artificial baseado no isomorfismo gráfico. É "comum" (ainda controverso!) Supor a existência de algoritmos BPP capazes de gerar "instâncias concretas do problema do isomorfismo gráfico". (Juntamente com uma testemunha de isomorfismo.) No meu protocolo artificial, assumirei a existência …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

Como convencer a Coq de que a função recursiva fornecida abaixo termina? A função usa dois argumentos indutivos. Intuitivamente, a recursão termina porque um dos argumentos é decomposto. Especificamente, a função aceita duas árvores como entrada. Inductive Tree := | Tip: Tree | Bin: Tree -> Tree -> Tree. Em …

14 interactive-proofs  proof-assistants  coq 

Que tipo de conjecturas e grandes problemas em aberto são os mais importantes na teoria algorítmica dos jogos (ou na teoria dos jogos em geral no que se refere ao CS)? Por exemplo, a resolução do NASH como sendo completa no PPAD seria, creio, a maior até que fosse resolvida. …

14 big-list  gt.game-theory 

SACiSACiSAC^i é a classe de problemas de decisão solucionáveis ​​por uma família de circuitos de profundidade com portas OR sem ventoinha OR e ventoinha AND limitada. Negações são permitidas apenas no nível de entrada. Sabe-se que para está fechado sob complemento e não. Além disso, e, portanto, possui uma caracterização …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Considere a lista com poucas ligações simples em um ambiente puramente funcional. Seus louvores foram cantados do topo das montanhas e continuarão sendo cantados. Aqui irei abordar um dos muitos pontos fortes e a questão de como ele pode ser estendido à classe mais ampla de sequências puramente funcionais baseadas …

14 ds.data-structures  cr.crypto-security  functional-programming  hash-function 

O problema #SAT é o problema canônico # P-complete. É um problema de função e não de decisão. Ele pergunta, dada uma fórmula booleana na lógica proposicional, quantas atribuições satisfatórias F possui. Quais são os melhores limites inferiores no #SAT?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados ​​com sucesso moderado na …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Dois artigos que eu incluiria são: D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978. R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Enquanto tentava consertar um bug em uma biblioteca, procurei artigos sobre como encontrar subfaixas em árvores vermelhas e negras sem sucesso. Estou pensando em uma solução usando zíperes e algo semelhante à operação de acréscimo usual usada em algoritmos de exclusão para estruturas de dados imutáveis, mas ainda estou imaginando …

14 ds.data-structures  tree 

Em resposta a outra pergunta, Extensões da teoria beta do cálculo lambda , Evgenij ofereceu a resposta: beta + a regra {s = t | s e termos fechados insolúveis} onde um termo M é solucionável se podemos encontrar uma seqüência de termos tais que M aplicação 's para eles …

14 pl.programming-languages  lambda-calculus  lo.logic