Perguntas com a marcação «open-problem»

A classificação de sinal de uma matriz A com entradas + 1, -1 é a menor classificação (acima dos reais) de uma matriz B que possui o mesmo padrão de sinal de A (ou seja, para todos os i , j ) Essa noção é importante na complexidade da comunicação …

25 lg.learning  open-problem  communication-complexity  matrices 

Para uma constante , pode-se determinar em tempo linear, dado um gráfico de entrada , se sua largura de árvore é . No entanto, quando e são dados como entrada, o problema é NP-difícil. ( Fonte ). G ≤ k k Gk ∈ Nk∈Nk \in \mathbb{N}GGG≤ k≤k\leq kkkkGGG No entanto, …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Além da complexidade (determinística) da comunicação de uma relação R , outra medida básica para a quantidade de comunicação necessária é o número da partição do protocolo p p ( R ) . A relação entre essas duas medidas é conhecida até um fator constante. A monografia de Kushilevitz e …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Suponha que recebamos vários polígonos simples disjuntos no plano e dois pontos e fora de cada polígono. O problema do caminho mais curto euclidiano é calcular o caminho mais curto euclidiano de a que não cruza o interior de nenhum polígono. Para concretude, vamos assumir que as coordenadas de e …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Em 1999, Petra Schuurman e Gerhard J. Woeginger publicaram o artigo "Algoritmos de aproximação de tempo polinomial para programação de máquinas: dez problemas em aberto" . Desde então, de acordo com o meu conhecimento, não foram exibidas análises que abordariam a mesma lista de problemas. Portanto, seria ótimo e útil …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

No artigo "Um compêndio de problemas completos para P", de Greenlaw, Hoover e Ruzzo (PS) (PDF) , há uma lista de problemas em P que não são conhecidos por estarem em NC e não são completos por P . (Esta lista inclui todos os problemas em aberto na excelente pesquisa …

20 cc.complexity-theory  open-problem  circuit-complexity 

Suponha que temos uma matriz n por n. É possível reordenar suas linhas e colunas para obter uma matriz triangular superior? Esta questão é motivada por este problema: Ordenação topológica positiva O problema de decisão original é pelo menos tão difícil quanto este, então um resultado de completude do NP …

20 ds.algorithms  np-hardness  open-problem  matrices 

Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny conjeturou em 1964 que …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Quais são alguns dos principais problemas de complexidade computacional aberta que surgem das linguagens de programação, especialmente a análise e compilação de programas? Estou procurando problemas nas linhas "da complexidade temporal da inferência do tipo Hindley-Milner" ou "da complexidade temporal de 0CFA" (embora ambos sejam problemas resolvidos).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Eu li que a programação linear inteira é solucionável em tempo polinominal se o número de variáveis ​​for fixo, ou seja, n ∈ O ( 1 ) . Se o número de variáveis ​​cresce logaritmicamente, ou seja, n ∈ O ( log 2 ( N ) ) para uma determinada …

16 cc.complexity-theory  np  open-problem 

fundo As funções em são aprendidas pelo PAC em tempo quase-polinomial com um algoritmo clássico que requer O ( 2 l o g ( n ) O ( d ) ) consultas escolhidas aleatoriamente para aprender um circuito de profundidade d [1]. Se não houver um algoritmo de fatoração 2 …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Estou interessado no problema "mais próximo" (e "mais complexo") da conjectura de Collatz que foi resolvida com sucesso (que Erdos disse famosa "a matemática ainda não está propícia a tais problemas"). Está provado que uma classe de problemas "tipo Collatz" é indecidível. No entanto, problemas vagamente semelhantes, como o jogo …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Considere alguma linguagem tal que:LLL L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) e para que L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Em outras palavras, a máquina mais rápida calcula L no tempo O ( f ( n ) ) e a máquina mais eficiente em espaço M ' calcula L enquanto usa o …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Gostaria de saber como encontrar a circunferência de um gráfico esparso e não direcionado. Por esparso, quero dizer . Por ótimo, quero dizer a menor complexidade de tempo.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Pensei em alguma modificação no algoritmo de Tarjan para gráficos não direcionados, mas não encontrei bons resultados. Na verdade, eu pensei que …

14 ds.algorithms  graph-theory  open-problem 

Objetivo : resolver a conjectura de que não há plano projetivo de ordem 12. Em 1989, usando a pesquisa por computador em um Cray, Lam provou que não existe um plano projetivo da ordem 10. Agora que o número de Deus para o cubo de Rubik foi determinado após apenas …

14 open-problem