«reference-request» 태그된 질문

참조 요청은 저자가 질문과 관련된 작업에 대해 알아야 할 때 사용됩니다.

5
온라인 학습 이해에 대한 좋은 참고 자료는 무엇입니까?
특히, 운영 중에 각자의 신념 네트워크 (또는 이와 동등한)를 업데이트 할 수있는 기계 학습 시스템에 대해 배울 수있는 자료를 요청합니다. 나는 그것들을 북마크에 넣지 못했지만 몇 개를 뛰어 넘었습니다. 상상할 수 있듯이 인터넷에서 검색하는 것은 다소 어려운 주제입니다.

1
중지 문제의 진리표의 Kolmogorov 복잡성이 무증상으로 알려져 있습니까?
하자 길이의 문자열을 나타내는 길이의 입력에 대해 정지 문제의 진리표에 해당하는 .HL티엔HALTnHALT_n2엔2n2^n엔nn Kolmogorov의 복잡성 의 시퀀스 가 이면, 어드바이스 문자열 중 하나는 무한정 자주 사용되며, 해당 문자열을 가진 TM은 균일하게 무한정 자주 해결할 수 있습니다. 그렇지 않습니다.케이( HL티엔)K(HALTn)K(HALT_n)O ( 1 )O(1)O(1)H알 L THALTHALT 대각선 화 인수를 자세히 살펴보면 실제로 이 …

1
균일 분포에서 2-DNF에 대한 적절한 PAC 학습
샘플 쿼리를 사용 하고 균일하게 분포 된 적절한 PAC 학습 2-DNF 수식 의 쿼리 복잡성에 대한 최신 결과는 무엇입니까 ? 아니면 사소한 것이 있습니까? 나는 학습 이론에 전혀 익숙하지 않으며이 질문은 다른 분야에서 동기를 부여 받았기 때문에 그 대답은 분명 할 것입니다. 나는 Kearns와 Vazirani의 책을 확인했지만 그들은이 설정을 명시 …

1
모듈 식 분해 그래프의 소스
그래프 모듈 식 분해를 도입 할 때 대부분의 저자는 11-vertex 그래프를 사용합니다.이 그래프는 Wikipedia에서 복사 한 것입니다. 문제는 누가 그것의 원래 디자이너인가입니다. (위키피디아에 대해 누가이 그래프를 그렸는지 묻지는 않지만 원본은 그 출처입니다.) wikipedia 페이지는 2006 년 12 월에 만들어졌습니다. 내가 찾을 수있는 가장 빠른 자료는 2006 년 5 월 17 …

1
제곱근의 합의 상한 문제에 대한 증거
[1]에서 Garey et al. 유클리드 TSP의 NP- 완전성을 해결하는 과정에서 나중에 제곱근 문제의 합으로 알려진 것을 식별합니다. 주어진 정수 ㅏ1,ㅏ2, ... ,ㅏ엔ㅏ1,ㅏ2,…,ㅏ엔a_1, a_2, \ldots, a_n 과 엘엘L, 여부를 결정 ㅏ1−−√+ㅏ2−−√+ ⋯ +ㅏ엔−−√&lt; Lㅏ1+ㅏ2+⋯+ㅏ엔&lt;엘\sqrt{a_1} + \sqrt{a_2} + \cdots + \sqrt{a_n} < L 그들은이 문제가 NP에 있다는 것이 명백하지 않다는 것을 관찰한다. …

1
가장 잘 알려진 점근 적 PCP 크기 / 3-SAT
확률 적으로 확인할 수있는 증거의 크기에 대해 가장 잘 알려진 점근 적 상한은 무엇입니까? 이상적으로, 나는이 광범위한 질문에 대한 현대적인 설문 조사를 찾고 있지만 아무것도 없다면 3-SAT의 근사성에 특히 관심이 있습니다. 7 / 8 + ε-3-SAT를 3-SAT로 설정하고 절의 7 / 8 + ε 비율이 만족스러운 경우 인스턴스를 만족시킬 수 …

2
MLTT에서 형식 유추 및 형식 검사의 결정 가능성
마틴 LOF의에서 유형의으로 intuitionistic 이론 : 서술 부분 은 유형 검사 있음을 입증 decidable되는 대상 존재의 typeable 처음에 폐쇄 typeable 용어에 대한 정규화 정리를 증명함으로써,. 다른 한편으로, (intensal) MLTT에서 형식 검사가 결정 가능한 여러 위치 (Wikipedia, Nördstrom 등)에 쓰여진 것을 보았습니다. 입력 가능한 용어로 암시 적으로 제한하고 있습니까?a : Aa:Aa …


1
두 단어가 언어에 인터리빙되어 있는지 확인하는 복잡성
알파벳 의 고정 언어 경우 -INTERLEAVING 이라고하는 다음 문제를 고려하십시오 .LLLAAALLL 입력 : 두 단어u,v∈A∗u,v∈A∗u, v \in A^* 출력 :는 존재 여부 인터리빙 의 및 에 .uuuvvvLLL 여기, 두 단어 의 인터리빙uuu 과 vvv 단어입니다 www 그 편지를 복용함으로써 직관적으로 얻을 수 있습니다 uuu 과 vvv상대 순서를 유지하면서. 공식적으로www 인터리빙 …

1
상관없는 패턴 매칭 : 다중 패턴
Kalai의 2 페이지 SODA 논문 은 상관 없음 (한 문자와 일치하는 와일드 카드) 과 패턴 일치를위한 간단하고 효율적인 알고리즘을 제공합니다 . 본질적으로 컨볼 루션만큼 쉽습니다. 그러나 신경 쓰지 않는 여러 패턴을 검색하면 어떻게됩니까 ? 예를 들어 FFT 기반 기술로 어떻게 든 해결할 수 있습니까?

1
규칙적인 언어와 지속적인 의사 소통의 복잡성
허락하다 L⊆A∗L⊆A∗L \subseteq A^* 언어이고 정의 에프엘:ㅏ※×ㅏ※→ { 0 , 1 }fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\}하여 IFF . 다음에 대한 참조를 찾고 있습니다.에프엘( x , y) = 1fL(x,y)=1f_L(x, y) = 1x ⋅ y∈ Lx⋅y∈Lx\cdot y \in L 제안. 의 결정적인 통신 복잡성 이 일정 은 규칙적 이다.엘LL에프엘fLf_L 즉, …

1
방향성 사이클에 대한 이형 동질성의 복잡성
고정 된 방향 그래프 (digraph) 가 주어지면 , COLORING 결정 문제는 입력 digraph 가 와 동질성을 갖는지 묻습니다 . ( 에서 의 동형은 호를 보존하는 에서 의 매핑 입니다 . 즉, 가 의 호 이면 는 )디DD디DD지GG디DD지GG디DD에프ffV( G )V(G)V(G)V( D )V(D)V(D)너 vuvuv지GG에프( u ) f( V )f(u)f(v)f(u)f(v)디DD COLORING 문제 의 …

2
그래프 동형에 대한 그래프의 이형성 수
와 는 크기가 두 개의 정규 연결 그래프 라고 하자 . 하자 치환 된들의 집합 되도록 . 경우 다음 의 automorphisms 세트 인 .지GGHHH아르 자형rr엔nnㅏAA피PP피지피− 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HㅏAA지GG 의 크기에서 가장 잘 알려진 상한은 무엇입니까 ? 특정 그래프 클래스 (완료 / 사이클 그래프를 포함하지 않음)에 대한 결과가 있습니까?ㅏAA 참고 …

2
그래프 클래스의 이름을 지정하십시오.
허락하다 GGG clique와 독립 집합의 분리 된 결합 인 그래프 G=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . 이러한 모든 그래프의 그래프 클래스는 금지 된 유도 하위 그래프 세트로 특징 지어집니다 H={2K2,P3}H={2K2,P3}\mathcal{H} = \{2K_2, P_3\} 따라서 클러스터 그래프와 분할 (또는 임계 값) 그래프의 교차점입니다. 이 (매우 간단한) 그래프 …

2
사소한 정리 그래프 이해
이 질문은 두 가지로 구성되며 주로 참조 지향적입니다. 세부 사항에 너무 많이 들어 가지 않고 그래프 사소한 정리를 증명하기위한 주요 직관이있는 곳이 있습니까? 나는 그 증거가 길고 어렵다는 것을 알고 있지만 더 쉬운 방법으로 전달 될 수있는 핵심 아이디어가 있어야합니다. 그래프에서 준 차수로 표시 될 수있는 다른 관계가있을 수 있습니다. …

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.