#### Filter Results:

- Full text PDF available (5)

#### Publication Year

2012

2018

- This year (2)
- Last 5 years (10)
- Last 10 years (11)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Jin-Yi Cai, Zhiguo Fu
- Inf. Comput.
- 2014

Holographic algorithms with matchgates are a novel approach to design polynomial time computation. It uses Kasteleynâ€™s algorithm for perfect matchings, and more importantly a holographic reduction.â€¦ (More)

- Jin-Yi Cai, Zhiguo Fu
- STOC
- 2017

We prove a complexity classification theorem that classifies all counting constraint satisfaction problems (#CSP) over Boolean variables into exactly three classes: (1) Polynomial-time solvable; (2)â€¦ (More)

- Jin-Yi Cai, Zhiguo Fu, Heng Guo, Tyson Williams
- 2015 IEEE 56th Annual Symposium on Foundations ofâ€¦
- 2015

We prove a complexity dichotomy for complex-weighted Holant problems with an arbitrary set of symmetric constraint functions on Boolean variables. In the study of counting complexity, such as #CSP,â€¦ (More)

- Jin-Yi Cai, Zhiguo Fu
- ArXiv
- 2017

We prove a complexity dichotomy theorem for the eight-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomialâ€¦ (More)

- Jin-Yi Cai, Zhiguo Fu, Mingji Xia
- Inf. Comput.
- 2018

We prove a complexity dichotomy theorem for the six-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomialâ€¦ (More)

- Jin-Yi Cai, Zhiguo Fu, Shuai Shao
- ArXiv
- 2017

We prove a complexity classification theorem that divides the six-vertex model into exactly three types. For every setting of the parameters of the model, the computation of the partition function isâ€¦ (More)

- Jin-Yi Cai, Zhiguo Fu, Kurt Girstmair, Michael Kowalczyk
- ITCS
- 2018

Suppose Ï† and Ïˆ are two angles satisfying tan(Ï†) = 2 tan(Ïˆ) > 0. We prove that under this condition Ï† and Ïˆ cannot be both rational multiples of Ï€. We use this number theoretic result to prove aâ€¦ (More)

- Zhiguo Fu
- ArXiv
- 2017

For any n â‰¥ 3 and q â‰¥ 3, we prove that the Equality function (=n) on n variables over a domain of size q cannot be realized by matchgates under holographic transformations. This is a consequence ofâ€¦ (More)

- Zhiguo Fu, Jin-Yi Cai
- TAMC
- 2012

- Zhiguo Fu, Xiaoying Zhang, Yaohua Shi, Qirong Dong
- Medical science monitor : international medicalâ€¦
- 2016

BACKGROUND This study aimed to compare the surgical outcomes between open pedicle screw fixation (OPSF) and percutaneous pedicle screw fixation (PPSF) for the treatment of thoracolumbar fractures,â€¦ (More)