Ciência da Computação Teórica

Existe alguma semântica categórica para lógicas não monotônicas? Parece que a resposta simples para isso é "Não", pois a noção óbvia de composição falha em qualquer modelo de lógica não monotônica. Mas existe um modelo que realmente funcione com uma noção de composição adequadamente definida?

8 ct.category-theory  semantics  denotational-semantics 

O problema de satisfação máxima (Max-Sat) é o problema de encontrar o número máximo de cláusulas que podem ser satisfeitas em uma instância de satisfação booleana. O problema exatamente 1 em 2 Sat pergunta, dado um conjunto de cláusulas, cada uma com dois literais, existe um conjunto de literais, de …

8 graph-algorithms  sat  max2sat 

Eu tenho um conjunto de agentes e um conjunto de n tarefas, e preciso atribuir cada agente a exatamente uma tarefa, para que o custo seja minimizado. Alguns agentes são incompatíveis com algumas tarefas.nnnnnn Eu tenho uma implementação do algoritmo húngaro que leva cerca de um minuto para resolver para …

8 graph-algorithms  optimization  matching 

Muitos recursos relacionados a noções categóricas na programação descrevem mônadas, mas nunca vi uma descrição categórica de transformadores de mônada. Como os transformadores de mônada podem ser descritos nos termos da teoria das categorias? Em particular, eu estaria interessado em: a relação entre os transformadores de mônada e suas correspondentes …

8 type-theory  functional-programming  ct.category-theory  haskell  monad 

Dada uma tabela de dados contendo um número muito grande de linhas, com cada linha contendo um grande número de campos, e cada campo contendo um número grande mas fixo de bits, existem vários métodos para construir uma estrutura de "índice" que as seguintes operações podem ser executadas na tabela …

8 ds.algorithms  ds.data-structures 

Digamos que você tenha um número de conjuntos de números inteiros ( ), e pretende calcular interseções de alguns deles ( ∩ S 1 , S 3 , S 7 pode ser uma consulta, mas você quer para suportar muitas dessas consultas, ou talvez até todas as consultas possíveis)S1, S2. …

8 cc.complexity-theory  ds.data-structures 

Eu estive olhando para uma lógica modal com o axioma ( ◊ Um ∧ ◊ B ) → ◊ ( ( A ∧ ◊ B ) ∨ ( A ∧ B ) ∨ ( Um ∧ ◊ B ) )(◊UMA∧◊B)→◊((UMA∧◊B)∨(UMA∧B)∨(UMA∧◊B)) (\Diamond A \land \Diamond B) \to \Diamond((A \land \Diamond B) …

8 lo.logic  pl.programming-languages  proof-theory 

Quando tentamos construir um algoritmo para um novo problema, dividir e conquistar (usando recursão) é uma das primeiras abordagens que tentamos. Mas, em alguns casos, essa abordagem parece infrutífera à medida que o problema se torna muito mais complicado à medida que sua entrada cresce. Minha pergunta é: existem problemas …

8 cc.complexity-theory  recursion 

Quando a conjectura ou P ≠ N P é definida (por exemplo, pelo Clay Mathematics Institute de S. Cook, veja aqui ) que sistema axiomático matemático é assumido?P=NPP=NP\mathbf{P} = \mathbf{NP}P≠NPP≠NP\mathbf{P} \neq \mathbf{NP} Para provar ou refutar tais declarações, você precisa assumir alguns axiomas. Quais? Apenas a aritmética Peano (linguagem formal …

8 cc.complexity-theory  model-theory 

Quais são os exemplos de problemas conhecidos em AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) que não são conhecidos em NPNP\mathsf{NP} nem em BPPBPP\mathsf{BPP} ? Para AMAM\mathsf{AM} , eu sei que os dois exemplos a seguir: Não isomorfismo de gráfico: dados dois gráficos marcados GGG e HHH , eles são o mesmo gráfico …

8 cc.complexity-theory  complexity-classes 

Temos um programa semidefinido (SDP) cuja região viável contém apenas um número finito de matrizes de classificação . Podemos concluir que a região viável desse SDP é poliédrica?111 Acreditamos que isso seja verdade, uma vez que a porção 'circular' do cone de matrizes semidefinidas se deve às matrizes extremas de …

8 convex-optimization  semidefinite-programming  polytope 

Se NPNP\mathsf{NP} contiver uma classe de problemas de tempo superpolinomial, ou seja, para alguma função t∈nω(1)t∈nω(1)t \in n^{\omega(1)} , DTIME(t)⊆NPDTIME(t)⊆NP\mathsf{DTIME}(t) \subseteq \mathsf{NP} , P⊊NPP⊊NP\mathsf{P} \subsetneq \mathsf{NP} Mas existem outras conseqüências interessantes não triviais (isto é, não são uma conseqüência de ) se o não determinismo puder acelerar os cálculos determinísticos?P⊊NPP⊊NP\mathsf{P} …

8 cc.complexity-theory  time-complexity  nondeterminism 

Dado um número algébrico , estou interessado em encontrar uma aproximação de até uma determinada precisão, em que se refere à parte real do número complexo.αα\alphaR(eα)ℜ(eα)\Re(e^\alpha)R()ℜ()\Re() Formalmente, quero calcular um número racional rrr tal que |R(eα)−r|≤2−n|ℜ(eα)−r|≤2−n|\Re(e^\alpha)-r|\leq 2^{-n} αα\alpha é dado por um polinômio mínimo (padrão). Quão rápido podemos resolver esse …

8 cc.complexity-theory  na.numerical-analysis  computing-over-reals 

Eu li aqui que existem famílias de funções que precisam de nós na rede neural com no máximo d - 1 camadas para representar a função e precisam apenas de O ( n ) se a rede neural tiver pelo menos d camadas. Referia-se a um artigo de Hastad. Eu …

8 cc.complexity-theory  reference-request 

Usando homologia persistente, podemos analisar a forma (topológica) de uma nuvem de pontos usando o seguinte método de três etapas: converter o conjunto de pontos em um complexo simples (e existem algumas maneiras diferentes de fazer isso) parametrizado por um parâmetro "noise" Calcule os grupos de homologia deste complexo (novamente …

8 cg.comp-geom  topology