Perguntas com a marcação «reference-request»

Na computação distribuída, o problema de consenso parece ser um dos tópicos centrais que atraiu pesquisas intensivas. Em particular, o artigo "Impossibilidade de consenso distribuído com um processo defeituoso" recebeu o prêmio PODC Influential Paper Award 2001 . Então, por que o problema de consenso é tão importante? O que …

19 reference-request  big-picture  dc.distributed-comp 

Uma matriz é chamada totalmente regular se todas as suas submatrizes quadradas tiverem classificação completa. Tais matrizes foram usadas para construir superconcentradores. Qual é a complexidade de decidir se uma determinada matriz é totalmente regular sobre os racionais? Sobre campos finitos? Mais geral, chame uma matriz de totalmente regular se …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Computar a constante Cheeger de um gráfico , também conhecida como constante isoperimétrica (porque é essencialmente uma relação área / volume mínima), é conhecida por ser NP-completa. Geralmente é aproximado. Estou interessado em saber se os algoritmos polinomiais exatos são conhecidos para classes especiais de gráficos. Por exemplo, ainda é …

19 ds.algorithms  reference-request  graph-algorithms 

Prever o mercado de ações é difícil! O TCS pode tornar esse sentimento mais formal? Recentemente, comecei a pensar um pouco sobre finanças e queria saber como o conhecimento do TCS poderia ajudar. Os fundos de hedge e as empresas de investimento parecem usar negociação algorítmica, aprendizado de máquina e …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Estou interessado em modelos de gráficos aleatórios que são semelhantes aos gráficos de redes de computadores reais. Não tenho certeza se o modelo comum e bem estudado ( n vértices, cada aresta possível é selecionada com probabilidade p ) é bom para estudar redes de computadores reais (não é?).G ( …

19 reference-request  graph-theory  co.combinatorics 

Existe alguma pesquisa de algoritmos para computar interpolantes? E os trabalhos em apenas um algoritmo? O caso em que estou mais interessado é em e C = q , além da restrição de que o interpolante seja o menor possível. (Conheço o artigo de McMillan de 2005 , que descreve …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

Eu gostaria de saber se houve conjecturas que há muito não foram comprovadas no TCS, que mais tarde foram provadas por uma implicação de outro teorema, que podem ter sido mais fáceis de provar.

18 reference-request  soft-question  big-list 

O problema da parada para as máquinas de Turing é talvez o conjunto indecidível canônico. No entanto, provamos que existe um algoritmo que decide quase todas as instâncias dele. O problema da parada está, portanto, entre a crescente coleção daqueles que exibem o fenômeno da teoria da complexidade do “buraco …

18 cc.complexity-theory  reference-request  computability  undecidability 

Eu gostaria de aprender sobre a complexidade parametrizada (tanto no lado algorítmico quanto no lado da dureza). Que livros / notas de aula posso ler sobre esse assunto?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

É 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 

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 

Quais são os algoritmos eficientes conhecidos para calcular um determinante de uma matriz inteira com coeficientes em , o anel de resíduos módulo m . O número m pode não ser primo, mas composto (portanto, os cálculos são realizados em anel, não em um campo).ZmZm\mathbb{Z}_mmmmmmm Até onde eu sei (leia …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

Vejo muitas pesquisas sobre hipercomputação nos anos 90, mas nos anos mais recentes parece haver pouco trabalho sobre o assunto. É verdade que a pesquisa nessa área acabou? Em caso afirmativo, quais poderiam ser as razões para isso? Esta área mostrou-se convincentemente pouco promissora?

18 reference-request  computability  hypercomputation 

XORification é a técnica para dificultar uma função ou fórmula booleana substituindo cada variável pelo XOR de variáveis ​​distintas . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Estou ciente dos usos dessa técnica na complexidade de provas, principalmente para obter limites inferiores de espaço para sistemas de provas baseados em resolução, …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

O teorema automático de prova e pesquisa de provas é mais fácil em lógicas subestruturais lineares e outras proposicionais que carecem de contração? Onde posso ler mais sobre o teorema automático de prova nessas lógicas e o papel da contração na pesquisa de provas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic