Ciência da Computação Teórica

Isso é motivado pela minha pergunta anterior, Algoritmos de aproximação de tempo super polinomial para MAX-3SAT . Para muitos problemas de otimização, para cada um deles temos um limite inferior de aproximação assumindo uma conjectura teórica de complexidade amplamente aceita. Em outras palavras, não há algoritmo de tempo polinomial para …

8 cc.complexity-theory  approximation-algorithms 

Eu estava lendo On Bulls * t , de Harry Frankfurt , um ensaio filosófico de 1986 sobre essa noção embaçada entre verdade e falsidade. Este não é um exercício gratuito. Isso pode ter aplicações para a ciência da computação, pois estamos sempre canalizando conjuntos de dados entre si . …

8 lo.logic  ds.data-structures  circuit-complexity  randomized-algorithms  db.databases 

Gostaríamos de saber se existem resultados de aproximação conhecidos para a cardinalidade com restrição de - t- cut nos gráficos direcionados. Não conseguimos encontrar nenhum resultado na literatura.sssttt O problema é definido da seguinte maneira: Instância: Um gráfico direcionado , uma função de custo w : E → R + …

8 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  approximation-algorithms 

No artigo "Codificação eficiente de CNF para selecionar 1 de N objetos", os autores apresentam sua técnica de "variável de comando" para codificar a restrição e depois falam sobre o problema do buraco de pombo. Como meu erro pode existir no entendimento de nível inferior, deixe-me declarar o que acho …

8 cc.complexity-theory  sat  proof-complexity 

Para poder explicar o problema P vs NP a não matemáticos, eu gostaria de ter um exemplo pedagógico de quando a busca por força bruta pode ser evitada. Idealmente, o problema deve ser imediatamente compreensível e o truque não deve ser muito fácil nem muito difícil. O melhor que eu …

8 cc.complexity-theory  np-hardness  soft-question  complexity-classes  p-vs-np 

Li o famoso livro de Alon e Spencer sobre o método probabilístico na combinatória. Existe uma pesquisa ou notas de aula sobre avanços e relacionamentos recentes com os seguintes tópicos teóricos da complexidade deste método além deste livro? geradores pseudo-aleatórios enganando modelos de computação concretos, gráficos de expansão. limites mais …

8 cc.complexity-theory  reference-request  co.combinatorics  soft-question  survey 

Corrija um conjunto de pontos . Agora chega um ponto de consulta , e o objetivo é produzir um ponto amostrado uniformemente aleatoriamente a partir da célula Voronoi de no conjunto .P ⊂ R d q r q P ∪ { q }nnnP⊂RdP⊂RdP \subset \mathbb{R}^dqqqrrrqqqP∪{q}P∪{q}P \cup \{q\} Para os propósitos …

8 cg.comp-geom  randomized-algorithms  voronoi 

Eu encontrei este webapp que permite gerar um teorema gratuito para um determinado tipo. Os teoremas gerados quantificam tipos e relações nesses tipos. Esses teoremas (fórmulas) são teoremas de qual teoria / sistema lógico? Como esse sistema se relaciona com a teoria equacional da linguagem?

8 lo.logic  functional-programming  type-systems  parametricity  logical-relations 

Um código de afixo é um código que é simultaneamente um código de prefixo e sufixo. Ou seja, nenhuma palavra de código não é nem o prefixo nem o sufixo de qualquer outra palavra de código. Os códigos de afixação podem ser decodificados instantaneamente nas duas direções (para frente e …

8 coding-theory  prefix-free-code 

Considere qualquer linguagem . Defina (uma sequência infinita de bits) pela fórmula recursivas ( L ) ∈ { 0 , 1 } ωeuLLs ( L ) ∈ { 0 , 1 }ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s ( L )n= χeu( s ( L )&lt; n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) [Eu …

8 cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization 

Estou usando um cálculo da matriz Variância-Covariância em um programa que escrevi (para Análise de Componentes Principais) e fico imaginando qual é a complexidade dela. Embora obviamente a decomposição do Eigenvector esteja causando o maior impacto no desempenho, estou me perguntando quanto desse impacto é causado pelo cálculo da matriz …

8 time-complexity  linear-algebra  matrices 

Enquanto estudava um problema na teoria algorítmica dos jogos, fiquei interessado na complexidade da seguinte pergunta de otimização: Problema Dado: conjunto de base dado por n ,você= [ n ] = { 1 , … , n }U=[n]={1,…,n}U = [n] = \{1,\ldots,n\}nnn classificação dada como ordens totais ⟨ S i …

8 cc.complexity-theory  ds.algorithms  np-hardness  optimization 

É agora uma observação bem conhecida que muitas estruturas gráficas que surgem em ambientes naturais tendem a obedecer a propriedades sem escala, como a lei de potência da distribuição de graus. Existe algum bom exemplo de gráficos naturais bastante aleatórios e que não necessariamente obedeçam às propriedades sem escala?

8 graph-theory  ni.networking-internet 

Quais são algumas das aplicações da decomposição modular de gráficos na teoria da complexidade / TCS? Estou especialmente interessado em seu uso em provas ou limites superior / inferior, se ocorrer. [1] Decomposição modular de grafos , Wikipedia. [2] Referências para decomposição modular , TCS.SE.

8 reference-request  graph-theory  graph-algorithms  application-of-theory  cc.complexity-theory 

A breve descrição a seguir do conhecido "Google Eggs Puzzle" vem principalmente do site Google Eggs : Quebra-cabeça de ovos do Google: dados n andares e m ovos, qual é a abordagem para encontrar o andar mais alto a partir do qual os ovos podem ser jogados com segurança, minimizando …

8 ds.algorithms  puzzles  dynamic-programming