Publication

Order Types of Convex Bodies

2011
Journal Articles

Résumé

We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of order type for point sets. This order type turns out to be an oriented matroid. We also give new upper bounds on the ErdAs-Szekeres theorem in the context of convex bodies.

Source officielle

https://infoscience.epfl.ch/entities/publication/ffbaf45e-1894-4a69-aad8-1d819d3b1ff3

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

2011
Journal Articles

Résumé

Source officielle

https://infoscience.epfl.ch/entities/publication/ffbaf45e-1894-4a69-aad8-1d819d3b1ff3

À propos de ce résultat

Concepts associés (32)

Type d'ordre

En mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse soient strictement croissantes (c'est-à-dire préservent l'ordre). Dans le cas particulier où X est totalement ordonnée, la monotonie de f implique la monotonie de son inverse. Par exemple, l'ensemble des entiers et l'ensemble des nombres entiers pairs ont le même type d'ordre, parce que la correspondance et sa réciproque préservent toutes deux l'ordre.

Logique d'ordre supérieur

Les logiques d'ordre supérieur (en anglais, higher-order logic ou HOL) sont des logiques formelles permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats. Elles étendent le calcul des prédicats. Cela revient à dire que l'on considère les fonctions et prédicats comme des objets de base à part entière, au même titre que, par exemple, un nombre entier. On s'autorisera ainsi, d'une part, à quantifier les prédicats et les fonctions et, d'autre part, à donner des fonctions ou des prédicats en arguments à d'autres fonctions ou prédicats.

Type constructor

In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.

Afficher plus

Publications associées (30)

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Quadratic serendipity element shape functions on general planar polygons

Juan Cao, Xiaodong Wei

This paper proposes a method for the construction of quadratic serendipity element (QSE) shape functions on planar convex and concave polygons. Existing approaches for constructing QSE shape functions are linear combinations of the pair-wise products of ge ...

ELSEVIER SCIENCE SA2022

Streaming and Matching Problems with Submodular Functions

Paritosh Garg

Submodular functions are a widely studied topic in theoretical computer science. They have found several applications both theoretical and practical in the fields of economics, combinatorial optimization and machine learning. More recently, there have also ...

EPFL2022

Afficher plus