Ciência da Computação Teórica

Como sabemos, o Graph Isomorphism está em NP, mas não é conhecido como NP-Complete ou P-Complete. Fiquei me perguntando se existem problemas conhecidos no PSPACE, mas que não são PSPACE-Complete e não estão no PH?

8 cc.complexity-theory  complexity-classes 

Recebemos pilhas que contêm "itens" de cores diferentes e uma máquina que pode processar vários itens da mesma cor de uma só vez. Em cada etapa, podemos remover um item da parte superior de cada pilha e colocá-lo em nossa máquina (para que a máquina possa processar no máximo itens …

8 ds.algorithms  reference-request  scheduling 

A idéia básica da indução reversa é começar com todas as posições finais possíveis de um jogo em que o jogador X vence. Portanto, para o xadrez, observe todas as maneiras pelas quais as brancas podem fazer xeque-mate nas pretas. Agora trabalhe para trás em todos os movimentos / posições …

8 cc.complexity-theory  graph-algorithms  board-games 

A questão é se é possível modelar na lógica linear dois modos de acesso a um recurso. Eu sei que dois modos de recursos são possíveis, ou seja: ! r ⊢!r⊢!r \vdash r está infinitamente disponível r ⊢r⊢r \vdash \quad r está disponível apenas uma vez Mas e se eu …

8 lo.logic  linear-logic 

Estou escrevendo um verificador de modelo de brinquedo e estou no ponto em que é hora de implementar a tradução de autômato LTL para Buchi. Por várias razões óbvias, desejo que o algoritmo seja simples :) por exemplo, quero que o código permaneça extremamente claro e conciso pelo maior tempo …

8 lo.logic  automata-theory  model-checking  program-verification  linear-temporal-logic 

Estou procurando trabalho em sistemas semelhantes às sequências de ordem superior de K. Dosen ("Sequent Systems for Modal Logic", JSL 50 ). O único trabalho que conheço é o trabalho recente de Iemhoff e Metcalfe ("Teoria da prova de regras admissíveis", Annals of Pure and Applic Logic 159 (1-2), 2009). …

8 reference-request  lo.logic  proof-theory 

Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo isso?

8 reference-request  lo.logic  db.databases  logic-programming 

Entendo consistência estrita e seqüencial de forma independente bastante bem. C estrito basicamente impõe a ordem real na qual as instruções foram executadas no relógio global. Consistência sequencial basicamente impõe o pedido apenas em um processador. Estou tendo problemas para montar alguma literatura. http://www.cs.nmsu.edu/~pfeiffer/classes/573/notes/consistency.html descreve a consistência sequencial como permitindo …

8 pl.programming-languages  dc.parallel-comp  concurrency 

você pode fornecer uma referência ou dar exemplos particulares de problemas completos do PSPACE que são solucionáveis ​​em tempo pseudo-polinomial? Notas adicionais: Definição de tempo pseudo-polinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time Em resposta a alguns comentários mencionados anteriormente. Perguntei anteriormente se havia algum problema PSPACE-complete que tivesse um FPTAS. A resposta surpreendente foi SIM! …

8 cc.complexity-theory  complexity-classes 

A pergunta é: sempre existe um esquema de aproximação de politempo para problemas completos de NP que possuem algoritmos de tempo pseudo-polinomial (como mochila, por exemplo)?

8 cc.complexity-theory  approximation-algorithms 

A dimensão VC é uma medida da complexidade das classes de funções que está intimamente ligada à complexidade da amostra. A dimensão de quebra de gordura é uma generalização adequada para domínios ordenados mais ricos: ou seja, . Existe uma generalização padrão da dimensão VC adequada para funções com domínios …

8 reference-request  lg.learning  vc-dimension 

A conectividade algébrica de um gráfico G é o segundo menor valor próprio da matriz laplaciana de G. Esse valor próprio é maior que 0 se e somente se G for um gráfico conectado. A magnitude desse valor reflete o quão bem conectado o gráfico geral está. por exemplo, " …

8 graph-theory  co.combinatorics  spectral-graph-theory 

O lema a seguir não é difícil de provar. Lema : Deixe- c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] e k∈[n]k∈[n]k \in [n] . Se m1,m2,…,mrm1,m2,…,mrm_1, m_2, \dots, m_r são números inteiros (alguns deles podem ser negativos), de modo que , então números inteiros satisfazendo tal quem1c1+m2c2+⋯+mrcr=km1c1+m2c2+⋯+mrcr=km_1c_1 + …

8 reference-request  nt.number-theory 

Inspirado por essa pergunta , fiquei curioso para saber se havia uma estratégia de redução para combinadores de SKI não tipificados que era normalizada ou perpétua. Conforme descrito aqui (Twelfed aqui ), as regras não determinísticas do cálculo combinador são as seguintes: Eux → xEux→xIx \rightarrow x Kx y→ xKxy→xKxy …

8 pl.programming-languages  combinatory-logic 

Estou vendo a página 28 de Lovasz "Programas semidefinidos e otimização combinatória" e fornece a seguinte aproximação do número de independência do gráfico maxu′Zumaxu′Zu\max u' Z u sujeito a Z≻0Z≻0Z\succ 0 Zij=0 ∀ij∈E(G)Zij=0 ∀ij∈E(G)Z_{ij}=0 \ \forall ij\in E(G) tr(Z)=1tr(Z)=1tr(Z)=1 Posso obter um conjunto independente (ou algo próximo a um conjunto …

8 ds.algorithms  graph-theory  semidefinite-programming  independent-set