Ciência da Computação Teórica

Existem algoritmos fáceis para calcular o envelope superior de um arranjo de linhas no plano. Veja, por exemplo, a seção 2.3 na pesquisa Sequências de Davenport-Schinzel e suas aplicações geométricas . Existem algoritmos / estruturas de dados conhecidos para a versão dinâmica do mesmo problema? Ou seja, queremos manter o …

8 ds.algorithms  reference-request  ds.data-structures  cg.comp-geom 

Estou tentando esclarecer meu entendimento no exemplo apresentado na Seção 2.2 dos autômatos finitos quânticos de 1 via: fortalece as fraquezas e as generalizações (esse link alternativo também pode ser útil). Este exemplo fornece um exemplo muito simplificado de um 1-QFA com as seguintes regras de transição: ,Va|q0⟩ = 12| …

8 fl.formal-languages  quantum-computing  automata-theory  grammars 

Esta é uma pergunta um tanto subjetiva. Estou interessado em estudar a literatura sobre resultados de corte de fluxo multicomodidade, especialmente os resultados "positivos" que mostram que o fluxo é uma boa aproximação ao corte (por exemplo, dentro de um fator constante ou polilogarítmico no número de fluxos). Exemplos são: …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow 

Embora seja muito comum ver músicos, pintores, autores e arquitetos de autodidatas bem-sucedidos - não estou familiarizado com nenhum autodidata famoso no campo da TCS. Existem exemplos de um cientista da computação teórico do autodidata (alguém que publicou um artigo importante, sem nunca ter cursado a graduação)?

8 soft-question 

esta é uma reescrita de outra questão recente [1] que não foi bem estabelecida (tinha uma simplificação semi-óbvia, mea culpa), mas acho que ainda há uma questão não trivial no centro. vi problemas semelhantes na literatura, mas não esse em particular. escreverei em termos de vetores de bits, porque é …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

A idéia de um MST com diâmetro restrito é que você mantenha todos os vértices conectados e a uma certa distância um do outro. Mas todos os papéis que eu vi cumprem a exigência de que você produza uma árvore, ao permitir ciclos pode ajudar a reduzir o diâmetro. Alguém …

8 cc.complexity-theory  reference-request  graph-theory 

Um aluno me perguntou o seguinte e não conseguiu encontrar uma resposta completa: Existem propriedades de fechamento para a classe de idiomas que não são livres de contexto? É bastante fácil encontrar exemplos que mostram que ele não está fechado sob interseção e iteração (operador estrela Kleene), mas e a …

8 fl.formal-languages  context-free-languages 

O lema de corte (também conhecido como lema de decomposição celular) afirma que, dadas linhas no plano, é possível dividi-lo em regiões (triângulos pares) para qualquer modo que o interior de qualquer região é interceptada por linhas . Para mais informações, ver, por exemplo, o livro de Matousek, Lectures on …

8 co.combinatorics  cg.comp-geom 

Suponha que haja partes , cada uma com um pouco . Eu quero calcular a multiplicação do número de vezes o número de zeros, ou seja, .p j b j ∈ { 0 , 1 } R = ( ∑ b j ) × ( N - ∑ b j …

8 cr.crypto-security  security 

É bem conhecido que os gráficos planares de um familiar fechado com menores proibidos , gráficos com treewidth limitada também são gráficos da família fechados sem H k como menor.K3,3,K5K3,3,K5K_{3,3}, K_{5}HkHkH_{k} Suponho que gráficos com corte máximo delimitado fechem gráficos de família. Dado arbitrariamente o gráfico que não contém H …

8 graph-algorithms 

Muitos resultados em criptografia dependem de resultados / conjecturas de impossibilidade na teoria da complexidade. Por exemplo, acredita-se que a criptografia de chave pública usando RSA é possível devido à conjectura sobre a inviabilidade do fatoramento (e os problemas de localização modular da raiz). Minha pergunta é : temos resultados …

8 cc.complexity-theory  cr.crypto-security  computability 

Estamos trabalhando em um artigo que apresenta alguns algoritmos para encontrar triângulos e motivos de rede (subgráficos de tamanho constante, também conhecidos como gráficos) em uma configuração distribuída. Caracterizamos a troca entre o número de triângulos no gráfico e a carga de comunicação necessária. Estou procurando referências para o trabalho …

8 reference-request  graph-theory  graph-algorithms 

Estou tentando desenvolver algumas noções de cálculo de diferença entre uma Máquina Ideal de Turing ideal concebida por um desenvolvedor (por exemplo, o que se pretende que um desenvolvedor de software), chame de , e as Máquinas que representam o software que realmente é projetado e implementado, digamos M α …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

Edit: Eu acho que o espírito da pergunta era bom, mas precisa ser melhorado. As suposições feitas para o sorteio fizeram com que essa pergunta fosse trivial, e a rolagem do dado ainda não está definida com precisão suficiente. Quais são as suposições razoáveis ​​que podemos fazer sobre uma rolagem …

8 ds.algorithms  cg.comp-geom 

Alice quer passar uma mensagem para um grande número de pessoas que vivem sob um governo feliz de censura, administrado por Eve. A maneira tradicional de fazer isso é o samizdat, mas esse processo exige que cada pessoa que passa uma mensagem corra um certo risco. Seria bom que houvesse …

8 cr.crypto-security