hengxin

38 reputation

bio	website
	location	Nanjing, China
	age
visits	member for	5 months
	seen	yesterday
stats	profile views	4

I am is a Ph.D. candidate majoring in Computer Science at Nanjing University, China. I am mainly interested in distributed computing and formal methods.

	38 reputation	bio	website		visits	member for	5 months
4 badges		location	Nanjing, China		seen	yesterday

summary answers questions tags badges favorites bounties reputation activity

4 Questions

votes activity newest

2	Is the undecidable function $UC$ well-defined for proving the undecidability of Halting Problem?
2	How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem?
1	Is this protocol suitable for transaction services?
1	Are there some popular science videos on computer algorithms to recommend?

38 Reputation

+5	Is this protocol suitable for transaction services?
+10	Is the undecidable function $UC$ well-defined for proving the undecidability of Halting Problem?
+10	How to understand the reduction from 3-Coloring problem to general $k$-Coloring problem?
+5	Are there some popular science videos on computer algorithms to recommend?

0 Answers

votes activity newest

This user has not answered any questions

12 Tags

0 algorithms	0 undecidability
0 history	0 halting-problem
0 graph-theory	0 computability
0 np-complete	0 proof-techniques
0 complexity-theory	0 protocols

9 Accounts

	Theoretical Computer Science	168 rep	4
	Computer Science	38 rep	4
$Mathematics Stack Exchange$	Mathematics	31 rep	4
	Stack Overflow	28 rep	4
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	1 rep

4 Badges

recent class name

Editor	Supporter
Scholar	Student

0 Active bounties

active offered earned

This user has no active bounties

2 Votes Cast

all time			by type
2	up		0	question
0	down		2	answer

user feed