Jon-Lark Kim (김종락), Introduction to Boolean functions with Artificial Neural Network
Room B232 IBS (기초과학연구원)A Boolean function is a function from the set Q of binary vectors of length n (i.e., the binary n-dimensional hypercube) to
A Boolean function is a function from the set Q of binary vectors of length n (i.e., the binary n-dimensional hypercube) to
Circle graphs are the intersection graphs of chords on a circle; vertices correspond to chords, and two vertices are adjacent if their chords intersect. We prove that every circle graph with clique number k has chromatic number at most
Let
An equitable tree-
A
Let
An odd $$-factor of a graph is a spanning subgraph
We discuss how the model theoretic notion of first-order transduction allows to define a notion of structural sparsity, and give some example of applications, like existence of low shrub-depth decompositions for tranductions of bounded expansion classes, characterization of transductions of classes with bounded pathwidth, decompositions of graphs with bounded rank-width into cographs.
Given a finite set of elements
Schedule July 22 Monday 10:00-11:00 Introduction, 11:00-12:00 Open Problems July 23 Tuesday 10:00-10:30 Stefan Kratsch, Humboldt-Universität zu Berlin, Germany Elimination Distances, Blocking Sets, and Kernels for Vertex Cover 10:45-11:15 Benjamin Bergougnoux, University Clermont Auvergne, France More applications of the d-neighbor equivalence 11:30-12:00 Yixin Cao, Hong Kong Polytechnic University, China Enumerating Maximal Induced Subgraphs 13:30-14:30 Open Problems …