Professional Documents
Culture Documents
c p p
p
p
p
pp
c
p
1.p Can prox cards be scanned from a distance? What are the implications?
2.p Trojan horses in cryptographic protocols.
3.p Automated theorem proving.
4.p Computer game-playing programs.
5.p Implement one of recently discovered algorithms for "recycling" random
bits, and study how well it does in practice.
6.p Show that finding approximate solutions to NP-complete problems is
also NP-complete (i.e., come up with NP-completeness reductions a la
COS 487).
7.p Experimental Algorithms: Implementing and Evaluating Algorithms
using existing software packages.
8.p Design and implementation of graph partitioning algorithms (possibly
leading to a publication).
9.p Modeling the human brain using random graphs.
O
c
O !"c#
+(+*! $
c'
O *!
! c
+,
-
c''
O
-
"
c''
O
.O!"c
O 4
O 4)
O,
"c
O
,
"c
O -
p