Perguntas com a marcação «reference-request»

A dimensão VC é uma medida da complexidade das classes de funções que está intimamente ligada à complexidade da amostra. A dimensão de quebra de gordura é uma generalização adequada para domínios ordenados mais ricos: ou seja, . Existe uma generalização padrão da dimensão VC adequada para funções com domínios …

8 reference-request  lg.learning  vc-dimension 

O lema a seguir não é difícil de provar. Lema : Deixe- c1≠c2≠⋯≠cr∈[n]c1≠c2≠⋯≠cr∈[n]c_1 \neq c_2 \neq \dots \neq c_r \in [n] e k∈[n]k∈[n]k \in [n] . Se m1,m2,…,mrm1,m2,…,mrm_1, m_2, \dots, m_r são números inteiros (alguns deles podem ser negativos), de modo que , então números inteiros satisfazendo tal quem1c1+m2c2+⋯+mrcr=km1c1+m2c2+⋯+mrcr=km_1c_1 + …

8 reference-request  nt.number-theory 

Estou procurando uma referência para a (clássica) complexidade de comunicação aleatória unidirecional quando o universo pode ser grande. Digamos que Alice e Bob tenham conjuntos de tamanho escolhidos entre um universo de tamanho U e Bob queira determinar se a interseção de seus conjuntos está vazia ou não. Gostaria prov …

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

Imagino que seja uma pergunta introdutória de geometria computacional, mas não tenho certeza das melhores frases de pesquisa e também estou interessado em variações da pergunta, por isso espero encontrar indicadores úteis para referências. Estou interessado em algoritmos viáveis ​​para o seguinte problema. Entrada: A conectado conjunto de pontos (forma) …

8 reference-request  cg.comp-geom 

Existe um banco de dados de problemas conhecidos com informações sobre sua complexidade e algoritmos, problemas relacionados, referências etc. que estão disponíveis para nós? [Se não, podemos fazer um? Eu sei que isso está fora de tópico, mas seria TÃO útil]

8 cc.complexity-theory  reference-request  survey 

Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim representar …

8 reference-request  pl.programming-languages  terminology  logic-programming 

Você poderia recomendar um artigo de pesquisa ou capítulo de livro que introduz a teoria das funções recursivas? obrigado

8 reference-request  computability 

É necessária uma referência a técnicas para provar que o tamanho de uma lacuna de integralidade é limitado por alguma expressão para um LP específico (ou SDP, mas menos importante). Também seria bom ter uma referência a um local onde são descritas técnicas para minimizar as lacunas de integralidade. Sou …

8 ds.algorithms  reference-request  linear-programming  semidefinite-programming  integrality-gap 

Comecei a examinar estruturas de incidência e projetos combinatórios (motivação possível: limitar algumas estruturas na automontagem generalizada), e o artigo da Wikipedia faz a seguinte declaração interessante, mas inexplicável: projetos de blocos têm aplicação no teste de software. (A página da Wikipedia com a reivindicação está aqui ). Meu google-fu …

8 reference-request