Ciência da Computação Teórica

O elipsóide de Löwner-John de um conjunto convexo é o elipsóide de volume mínimo (MVE) que o envolve. O elipsóide pode ser calculado usando o método de Khachiyan, e há várias aproximações disponíveis se C for (o casco convexo de) um conjunto de pontos.CCCCCC Existem aproximações rápidas (ou seja, baseadas …

14 cg.comp-geom  convex-geometry 

No artigo Análise Primal-Dupla Aleatória de RANKING para Correspondência Bipartida Online , ao provar que o algoritmo RANKING é competitivos, os autores mostram que o dual é viável em expectativa (ver Lema 3 na página 5). Minha pergunta é:(1−1e)(1−1e)\left(1 - \frac{1}{e}\right) É suficiente que as restrições lineares do programa sejam …

14 linear-programming  randomized-algorithms  online-algorithms  matching  primal-dual 

Dado como entrada um número inteiro e um conjunto de conjuntos de elementos de , qual é a complexidade de encontrar um conjunto de elementos de tal que tem cardinalidade mínima e está incluído em nenhum dos conjuntos de ?nnnSSS{1,...,n}{1,...,n}\{1, ..., n\}TTT{1,...,n}{1,...,n}\{1, ..., n\}TTTTTTSSS

14 cc.complexity-theory  ds.algorithms 

Um jogo popular em festas na América do Norte é a troca de presentes de elefantes brancos . Resumindo (ignorando variações), funciona da seguinte maneira: Existem pessoas e presentes embrulhados. Os jogadores são ordenados arbitrariamente. No rodada, jogador i quernnnnnnEuºEuºi^{\text{th}}EuEui escolhe um presente embrulhado e o desembrulha como presente "rouba" …

14 gt.game-theory  mechanism-design 

Qual é a classe de complexidade associada a algoritmos de pesquisa exaustivos? (se houver) É NP ou PSPACE? Existem modelos restritos de computação que capturam a classe de algoritmos exaustivos de pesquisa semelhantes aos modelos para programação dinâmica e gananciosa?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

Estou lendo " Concatenação de idiomas regulares e complexidade descritiva ", de Galina Jiraskova, 2009, sobre a complexidade do estado resultante da concatenação de dois idiomas regulares (de Galina Jiraskova), mas não consigo entender quais seriam as implicações práticas da complexidade do estado. . O primeiro pensamento trivial que me …

14 fl.formal-languages  automata-theory  regular-language 

Muitas vezes fico confuso com a relação entre conversão η e extensionalidade. Edit: De acordo com comentários, parece que também estou confuso sobre a relação entre equivalência extensional e equivalência observacional. Mas pelo menos em Agda com igualdade extensional para funções (como um postulado) e para um cálculo lambda de …

14 pl.programming-languages  lambda-calculus 

Considere o espaço dimensional e deixe ser uma restrição linear no formato , em que , e .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G IGEuGI Seria particularmente útil saber se existem resultados …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Lembro-me de ver um estudo ou artigo há um tempo atrás, alegando que a maior parte da aceleração observada em programas de computador nas últimas décadas é de algoritmos melhores e não de hardware mais rápido. Alguém conhece o estudo ou artigo?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

Estou interessado em gráficos em nnn vértices que podem ser produzidos através do processo a seguir. Comece com um gráfico arbitrário GGG em k≤nk≤nk\le n vértices. Rotule todos os vértices em GGG como não utilizados . Produzir um novo gráfico G′G′G' pela adição de um novo vértice vvv , o …

14 ds.algorithms  graph-theory  treewidth 

Resultado 1: O teorema de Linial-Mansour-Nisan diz que o peso quádruplo das funções calculadas pelos circuitos está concentrado nos subconjuntos de tamanho pequeno com alta probabilidade.A C0 0UMAC0 0\mathsf{AC}^0 Resultado 2: O tem seu peso fourier concentrado no coeficiente do grau . nP A R I T YPUMAREuTY\mathsf{PARITY}nnn Pergunta: Existe …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Uma linguagem funcional pode ser vista como uma categoria em que seus objetos são tipos e funções de morfismos entre eles. Como as classes de tipo se encaixam nesse modelo? Suponho que devemos considerar apenas as implementações que satisfazem a restrição que a maioria das classes de tipo possui, mas …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

Minha primeira pergunta é se uma caracterização interativa de sistema de prova é conhecida por todas as classes clássicas de complexidade. Eu chamaria funções clássicas de P, NP, PSPACE, EXP, NEXP, EXPSPACE, recursivas e recursivamente enumeráveis ​​(entre outras). Especificamente, uma caracterização do sistema de prova interativa é conhecida por funções …

14 cc.complexity-theory  big-picture  interactive-proofs 

Estou iniciando meu doutorado neste outono e planejo trabalhar na teoria da complexidade para minha tese. Estou compilando uma lista de artigos importantes que todo teórico da complexidade deve conhecer. Que papéis você sugeriria para uma pessoa como eu? E, por favor, explique brevemente por que você acha que o …

14 cc.complexity-theory  reference-request  big-list