Ciência da Computação Teórica

Ultimamente, tenho aprendido sobre provas interativas e me pergunto se tudo não passava de uma curiosidade teórica ou se havia alguma aplicação prática. Pensei em começar com um exemplo que me ocorreu no chuveiro: Ultimamente, tem divulgado que "Número de Deus" = 20. (O número de Deus é o número …

11 proofs  puzzles  interactive-proofs 

Os dados do mundo real às vezes têm um número natural de clusters (tentar agrupá-los em um número menor de clusters do que um k mágico causará um aumento dramático no custo de cluster). Hoje assisti a uma palestra do Dr. Adam Meyerson e ele se referiu a esse tipo …

11 lg.learning  clustering 

Alguém conhece alguma boa referência para o significado de simulabilidade em linha reta? Atualmente, estou profundamente dentro da estrutura de Canetti da Universal Composability (UC), mas não consigo encontrar nenhuma boa referência para o significado de simulabilidade em linha reta. Qualquer ajuda é apreciada.

11 cr.crypto-security 

Considere um gráfico com vértices e arestas. Os vértices são rotulados com variáveis ​​reais , onde é fixo. Cada aresta representa uma "medida": para a aresta , obtenho uma medida . Mais precisamente, é uma quantidade verdadeiramente aleatória em , distribuída uniformemente e independente de todas as outras medidas (arestas).m …

11 ds.algorithms  graph-algorithms 

Minha pergunta é um pouco genérica, então estou inventando uma boa história para justificá-la. Tenha paciência comigo se não for realista ;-) História X, chefe do departamento de segurança de computadores de uma grande empresa, é um pouco paranóico: ele exige que todos os funcionários alterem suas senhas uma vez …

11 lg.learning 

Dados e M , é possível obter o M 'ésimo bit (ou dígito de qualquer base pequena) de N ! no tempo / espaço de ó ( p ( l n ( N ) , l N ( H ) ) ) , onde P ( x , y ) …

11 ds.algorithms  nt.number-theory 

DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in CO P T ( C , D ) = min f ∈ C e r r ( f , D )e r r ( f, D ) = Pr( x , y) ∼ D[ f( X ) ≠ y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]O PT( C, …

11 reference-request  machine-learning  lg.learning 

Estou desenvolvendo um algoritmo SAT há algum tempo e cheguei a um ponto em que gostaria de compartilhá-lo. Não conheço muitas pessoas em ciência da computação e não sei exatamente para onde me virar. Eu estou querendo saber quais recursos estão disponíveis para alguém com um algoritmo que está pensando …

11 sat  soft-question  proofs 

Estou começando meus estudos da teoria algorítmica dos jogos, e parece que o conceito de equilíbrio geralmente usado é o de um ponto fixo em um gráfico. No entanto, as pessoas analisaram conceitos alternativos de equilíbrio, como ciclos de limite? Posso imaginar que um ciclo limite "apertado" - ou seja, …

11 gt.game-theory 

Na seção 2.2 das Árvores B sem cache , as Árvores de pesquisa fortemente equilibradas são definidas como: Para alguma constante , todo nó v na altura h tem Θ ( d h ) descendentes.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) Eles afirmam: As árvores de pesquisa que atendem às Propriedades 1 e 2 incluem árvores …

11 ds.data-structures  skip-lists 

Eu desenvolvi uma nova técnica de derandomização que visa algoritmos aleatórios recursivos (ou) algoritmos aleatórios mais geralmente que usam uma pilha. Infelizmente, não consegui encontrar algoritmos aleatórios naturais para aplicar minhas técnicas. As correntes recursivas de Markov e as gramáticas estocásticas estão muito próximas do que estou procurando. Existem outros …

11 randomness  derandomization 

Isso pode parecer mais uma questão de ciências sociais do que uma questão do TCS, mas não é. Ao ler " Algoritmos aleatórios ", que descrevem o problema do casamento estável, pode-se ler o seguinte (p54) "Pode-se demonstrar que, para todas as listas de preferências, existe pelo menos um casamento …

11 ds.algorithms  graph-theory  matching 

Imagine uma linguagem de programação funcional cujos únicos tipos de dados são escalares numéricos e aninhamentos arbitrários de matrizes. O idioma não possui meios de iteração ilimitada, portanto, o seguinte não é permitido: loops explícitos (pouco uso sem efeitos colaterais) recursão funções arbitrárias de primeira classe (sem combinador y) A …

11 complexity-classes  functional-programming  dc.parallel-comp 

Para um dado gráfico , o Problema do Separador pergunta se existe um conjunto de vértices ou arestas de pequena cardinalidade (ou peso) cuja remoção particiona G em dois gráficos separados de tamanhos aproximadamente iguais. Isso é chamado de Problema do Separador de Vértices quando o conjunto removido é um …

11 cc.complexity-theory  approximation-hardness 

Immerman (Complexidade descritiva, 1999) apresenta os jogos EF para segunda ordem monádica existencial (jogos Ajtai-Fagin) na página 127. Como MSO nas palavras é equivalente a idiomas regulares, o jogo pode ser escrito da seguinte forma.∃∃\exists Um idioma é regular se, e somente se Delilah, não tiver uma estratégia vencedora no …

11 lo.logic  automata-theory  descriptive-complexity