Ciência da Computação Teórica

O livro de Arora e Barak contém em notas de capítulo sobre PCP Observamos que a estratégia geral de Dinur lembra um pouco a construção em zigue-zague de gráficos expansores e o algoritmo determinístico de espaço de log determinante de Reingold para conectividade não direcionada descrito no Capítulo 20, o …

9 cc.complexity-theory  pcp 

Para entender melhor um artigo, estou tentando entender brevemente a lógica do ponto menos fixo. Existem alguns pontos em que estou preso. Se é um gráfico eG=(V,E)G=(V,E)G = (V,E) Φ(P) = { ( a , b )∣G⊨E( a ,b)∨P( a , b )∨∃z(E(a,z)∧P(z, b ) ) }Φ(P)={(uma,b)∣G⊨E(uma,b)∨P(uma,b)∨∃z(E(uma,z)∧P(z,b))} \Phi(P) = \{(a,b) …

9 lo.logic  descriptive-complexity  finite-model-theory 

Comecei a me envolver com a otimização matemática recentemente e estou adorando. Parece que muitos problemas de otimização podem ser facilmente expressos e resolvidos como programas lineares (por exemplo, fluxos de rede, cobertura de borda / vértice, vendedor ambulante etc.). Sei que alguns deles são difíceis de NP, mas o …

9 optimization  big-picture  linear-programming  linear-equations 

Se você tem duas funções implementando um algoritmo de classificação diferente, é possível inferir pelo código-fonte que ambas possuem as mesmas propriedades externas? Significando que ambos terão uma sequência não classificada possível como entrada e uma sequência classificada como saída? De que maneira essas propriedades externas podem ser determinadas pelo …

9 pl.programming-languages  decidability  formal-methods  extensionality 

Estou tentando entender o artigo Sobre sistemas de prova p-Optimal e lógica para PTIME . Existe uma noção chamada sistemas de prova no artigo e eu não entendo: Σ = { 0 , 1 }Σ={0,1}\Sigma = \{0,1\} ... Identificamos problemas com os subconjuntos de em .Σ ∗QQQΣ∗Σ∗\Sigma^* Penso que a …

9 lo.logic  descriptive-complexity  proof-complexity 

kkk pontos distintos são selecionados aleatoriamente em uma grade . (Obviamente, k \ leq p \ vezes q e é um dado número constante.) Um gráfico ponderado completo é construído a partir desses pontos k, de modo que o peso da aresta entre o vértice ie o vértice j seja …

9 graph-theory  co.combinatorics  planar-graphs  hamiltonian-paths 

Até onde eu sei, uma função Haskell com restrições de classes de tipo é compilada internamente para uma função com argumentos adicionais que recebem dicionários com as implementações necessárias de cada classe de tipo específica. Existem outras possibilidades de compilação de classes de tipo? Em caso afirmativo, quais são suas …

9 pl.programming-languages  functional-programming  compilers  type-systems 

XXXΣnΣn\Sigma^nΣΣ\SigmaH(X)≥(n−δ)⋅log|Σ|H(X)≥(n−δ)⋅log⁡|Σ|H(X) \ge (n- \delta)\cdot\log|\Sigma|δδ\deltaE⊆Supp(X)E⊆Supp(X)E \subseteq \rm{Supp}(X)XXXPr[X∈E]≥1−εPr[X∈E]≥1−ε\Pr[X \in E] \ge 1 - \varepsilonεε\varepsilon Dizemos que um par é uma coordenada de baixa probabilidade de se . Dizemos que uma string contém uma coordenada de baixa probabilidade de se for uma coordenada de baixa probabilidade de para alguns .(i,σ)(i,σ)(i,\sigma)EEEPr[X∈E|Xi=σ]≤εPr[X∈E|Xi=σ]≤ε\Pr[X \in E | …

9 it.information-theory  pr.probability 

Seja um gráfico. Seja k ≤ | V | ser um número inteiro. Deixe ó k ser o número de borda induzida subgráficos de L tendo k vértices e um número ímpar de arestas. Vamos E k ser o número de borda induzida subgráficos de L tendo k vértices e …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

Functors construídos a partir de produtos e somas finitos têm um fechamento ordinal ωω\omega , detalhado detalhadamente neste manuscrito de Francois Metayer. ou seja, podemos alcançar o tipo indutivo iterando o functor , que atinge seu ponto fixo após as iterações .1 + X ωn a t : = μ …

9 lo.logic  type-theory  ct.category-theory 

Minha pergunta é sobre teoria finita de modelos / complexidade descritiva, então significará "primeira ordem sobre palavras binárias finitas, usando os predicados Rs e um predicado unário P verdadeiro na posição do 1 na palavra".FO(R)FO(R)FO(R) Gostaria de saber, existe alguma caracterização de com R algum predicado em N r para …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

Eu sei que o esperado pior caso de tempo de execução do randomizado incrementais Delaunay triangulação algoritmo (como indicado no Computational Geometry ) é . Há um exercício que implica que o pior tempo de execução é . Eu tentei construir um exemplo em que esse é realmente o caso, …

9 ds.algorithms  randomized-algorithms  delaunay-triangulation  worst-case 

Essa é uma pergunta suave que visa estabelecer o que as pessoas pensam ser a melhor prática profissional para enviar trabalho não original ao arXiv. Há um rascunho de um artigo [1] de Robert Szelepcsényi, em seu espaço na Web da Universidade de Chicago, aparentemente escrito há mais de uma …

9 soft-question  research-practice 

Estou trabalhando no campo da engenharia estrutural e gostaria de encontrar um algoritmo eficiente para construir uma aproximação (na métrica de Hausdorff) de um corpo convexo pelo casco convexo de n elipsóides, para alguns n fixos . Atualmente, estou trabalhando apenas nas dimensões 2 e 3.KKKnnnnnn Minha primeira idéia foi …

9 cg.comp-geom  approximation  convex-geometry 

Digamos que temos uma função f: Zn2→ Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} tal que efé uma distribuição, ou seja,∑x∈Z n 2 f(x)=1.∀ x ∈ Zn2f( x ) ∈ { 12n, 22n, ... , 2n2n} ,∀x∈Z2nf(x)∈{1 12n,22n,...,2n2n},\forall x\in \mathbb{Z}_2^n \quad f(x) \in \left\{\frac{1}{2^n}, \frac{2}{2^n}, \ldots, \frac{2^n}{2^n} \right\},fff∑x ∈ Zn2f( x ) = 1∑x∈Z2nf(x)=1 …

9 it.information-theory  boolean-functions