«co.combinatorics» 태그된 질문

조합론과 이산적인 수학적 구조에 관한 질문

5
계산 가능한 숫자가 합리적인지 또는 정수인지 테스트 할 수 있습니까?
계산 가능한 숫자가 합리적인지 정수인지 알고리즘 적으로 테스트 할 수 있습니까? 즉, 구현 계산 가능한 숫자는 기능을 제공하는 라이브러리 가능할 것이다 isInteger나 isRational? 나는 그것이 불가능하다는 것을 추측하고 있으며, 두 숫자가 같은지 테스트 할 수는 없지만 그것을 증명하는 방법을 알지 못한다는 사실과 관련이 있습니다. 편집합니다 계산 가능한 수는 엑스xx 함수에 …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
3
가장 짧은 등가 CNF 공식
하자 될 만족할 와 CNF 화학식 변수 절. 하자 의 솔루션 공간이 될 . N mF1F1F_1nnnmmm F 1SF1SF1S_{F_1}F1F1F_1 주어진 결정의 문제가 고려 다른 CNF 수식 같은 변수들의 동일 세트 함께 (동일 솔루션 공간 )하지만, 가능한 한 적은 수의 절 등으로 (유일 목표는 절 수를 최소화하는 것이므로 각 절에 몇 개의 …
1
과반수 투표에 가장 적합한 근사값은 무엇입니까?
과반수 투표 작업은 내결함성 (그리고 다른 장소에서도 의심 할 여지없이)에서 상당히 자주 발생하며, 여기서 함수는 입력 비트 값에서 가장 자주 나타나는 값과 같은 비트를 출력합니다. 간단히하기 위해 입력에 상태 0과 상태 1에서 같은 수의 비트가 포함될 때마다 0을 출력한다고 가정합니다. 이것은 입력에서 가장 빈번하게 발생하는 값을 반환하고 타이의 경우 사전 …
1
점근 적으로,
[ 1 .. n ] 의 순열 σσ\sigma 를 고려하십시오 . 반전은 i &lt; j 및 σ ( i ) &gt; σ ( j ) 와 같은 인덱스 쌍 ( i , j ) 으로 정의됩니다 .[ 1 .. n ][1..엔][1..n]( i , j )(나는,제이)(i, j)나는 &lt; j나는&lt;제이i < jσ( …
2
경계 트리 폭 그래프의 금지 된 부
이 질문은 이전 질문 중 하나 와 비슷합니다 . 는 최대 t 의 트리 폭 그래프에 대해 금지 된 마이너 인 것으로 알려져 있습니다.케이t + 2케이티+2K_{t+2}티티t 모든 트리 폭의 그래프에 대해 최소한의 금지 된 부 (minor) 인 훌륭하게 구성되고 매개 변수화 된 무한 그래프 그룹 (완전한 그래프 및 그리드 그래프 …
2
카테고리 이론, 계산 복잡성 및 조합 연결?
나는“ 함수 알고리즘 디자인의 진주 ”와“ 프로그래밍의 대수학 ”을 읽으려고 노력해 왔으며 , 재귀 적으로 (그리고 다항식으로) 정의 된 데이터 유형과 조합 객체 사이에 명백한 대응이 있으며, 동일한 재귀 정의를 가지며 그 이후에 선행합니다 조합 종에 대한 서두에 나와있는 것과 동일한 형식의 전력 계열 (또는 함수 생성)에 대해 설명합니다 (“ …
2
방향 그래프의 커버 시간
그래프를 무작위로 걷 으면 피복 시간 이 모든 정점에 닿은 첫 번째 시간 (예상 단계 수)입니다. 무 방향 그래프로 연결된 경우, 커버 시간은 의해 상한으로 알려져 있습니다 O(n3)O(n3)O(n^3). 커버 시간 지수가 강력하게 연결된 digraph가 있습니다. 이것의 예는 정점 의 방향 지정 사이클 과 모서리 로 구성된 이력 입니다. 정점 부터 …
1
선형 확장 그래프의도 세트
선형 확장 poset의 요소의 선형 차수 ,되도록 에 의미 에서 모두 .L엘LP피\mathcal{P}P피\mathcal{P}x≤y엑스≤와이x \leq yP피\mathcal{P}x≤y엑스≤와이x \leq yL엘Lx,y∈P엑스,와이∈피x,y\in\mathcal{P} 직진 그래프는 2 개 개의 선형 확장되어 인접한 poset의 선형 확장 세트에 그래프 정확히 디 FF 경우 ER 요소 중 하나에 인접 스왑한다. 다음 그림에는 - poset로 알려진 poset 와 선형 확장 그래프가 있습니다. …
3
고정도를 갖는 임의 방향 그래프의 속성
고정 외도 갖는 임의 방향 그래프의 속성에디디d 관심이 있습니다 . 각 꼭지점이 d 이웃을 선택하는 무작위 그래프 모델을 상상하고 있습니다 (예 : 교체) uar 질문 : 임의의 그래프에서 임의의 보행의 고정 분포 및 혼합 시간에 대해 알려진 것이 있습니까 (다양한 값 )? 디디d 부울 알파벳에 대한 임의의 오토마타 모델에 해당하는 …
1
랜덤 그래프의 해밀턴 사이클 수
우리는 . 그러면 다음 사실이 잘 알려져 있습니다.G∈G(n,p),p=lnn+lnlnn+c(n)nG∈G(n,p),p=ln⁡n+ln⁡ln⁡n+c(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} Pr[G has a Hamiltonian cycle]=⎧⎩⎨⎪⎪10e−e−c(c(n)→∞)(c(n)→−∞)(c(n)→c)Pr[G has a Hamiltonian cycle]={1(c(n)→∞)0(c(n)→−∞)e−e−c(c(n)→c)\begin{eqnarray} Pr [G\mbox{ has a Hamiltonian cycle}]= \begin{cases} 1 & (c(n)\rightarrow \infty) \\ 0 & (c(n)\rightarrow - \infty) \\ e^{-e^{-c}} & (c(n)\rightarrow c) \end{cases} \end{eqnarray} 임의 그래프의 해밀턴 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.