SubjectsSubjects(version: 945)
Course, academic year 2016/2017
   Login via CAS
Hypercube Problems - NTIN097
Title: Problémy na hyperkrychlích
Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
Faculty: Faculty of Mathematics and Physics
Actual: from 2015 to 2017
Semester: winter
E-Credits: 3
Hours per week, examination: winter s.:2/0, Ex [HT]
Capacity: unlimited
Min. number of students: unlimited
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Teaching methods: full-time
Additional information: http://ktiml.mff.cuni.cz/~gregor/hypercube/hypercube-course.htm
Guarantor: doc. Mgr. Petr Gregor, Ph.D.
Class: Informatika Mgr. - Teoretická informatika
Classification: Informatics > Theoretical Computer Science
Annotation -
Last update: RNDr. Jan Hric (26.04.2019)
Many questions in various areas of theoretical computer science may be formulated as problems in hypercubes. The lecture offers an overview of selected problems studied in hypercubes with emphasis on applications in theoretical computer science. It assumes only elementary knowledge and it is suitable for students in the M.Sc. programme.
Aim of the course -
Last update: T_KTI (28.04.2015)

The course gives an introduction into the area of hypercube problems.

Literature -
Last update: T_KTI (28.04.2015)
  • B. Bollobás, Combinatorics: set systems, hypergraphs, families of vectors, and combinatorial probability, Cambridge University Press, Cambridge, 1986.
  • R. Hammack, W. Imrich, S. Klavžar, Handbook of Product Graphs, Second Edition, CRC Press, 2011.
  • S. Jukna, Extremal Combinatorics with Applications in Computer Science, Springer, Berlin, 2001.
  • F. T. Leighton, Introduction to Parallel Algorithms and Architectures: Arrays, Trees, Hypercubes, Morgan Kaufmann, San Mateo, 1992.
  • selected journal papers.

Syllabus -
Last update: T_KTI (28.04.2015)
  • Hypercube characterizations, basic properties.
  • Orbit and stabilizer theorem, group of automorphisms.
  • Parcial cubes, median graphs, convex expansion.
  • Nonexpansive maps, correspondence to 2-SAT.
  • Matchings, Gray codes, Hamiltonian decomposition.
  • Independent spanning trees, robustness of communication.
  • Shadows, intersecting systems, isoperimetric problems.
  • Linear layout problems, width parameters.
  • Influence of variables of boolean functions, harmonic analysis.
  • Packing and covering, applications of self-correcting codes.
  • Turán numbers and other extremal problems.

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html