The Complexity of local dimensions for constructible sets

Texte intégral

(1)The Complexity of local dimensions for constructible sets Pascal Koiran. To cite this version: Pascal Koiran. The Complexity of local dimensions for constructible sets. [Research Report] LIP RR-1999-04, Laboratoire de l’informatique du parallélisme. 1999, 2+13p. �hal-02101861�. HAL Id: hal-02101861 https://hal-lara.archives-ouvertes.fr/hal-02101861 Submitted on 17 Apr 2019. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) Laboratoire de l’Informatique du Parallélisme ´ Ecole Normale Supérieure de Lyon Unité Mixte de Recherche CNRS-INRIA-ENS LYON no 8512. SPI.

(3)

(4) . .

(5) . ´ Ecole Normale Supérieure de Lyon 46 Allée d’Italie, 69364 Lyon Cedex 07, France Téléphone : +33(0)4.72.72.80.37 Télécopieur : +33(0)4.72.72.80.80 Adresse e´ lectronique :

(6).

(7)

(8)

(9) .

(10) .

(11)

(12)

(13)

(14)

(15) !

(16) "

(17) # . . $% &'

(18)

(19) '

(20)

(21)

(22) ( % )

(23) * % .

(24)

(25) % )

(26) +, -%.

(27) . ' ' . ' ./

(28) / %. 0 1 2 22 21 2 3 ! . "

(29) # 3 2$% ' 4 2 . 2 2' 1 3 4 % 5 2 . 2 % 0 2 2 2 11 3 % 5 3 6 +, -%. . 2 ' ' 2' 3 ./

(30) /%.

(31)

(32)

(33) .

(34) . . .

(35)

(36) ! ! " #

(37) $ # %& '()* ! ! ! +,, , .

(38) 78

(39)

(40) .

(41) ./

(42) / '

(43)

(44)

(45) "# !

(46) "

(47) # . $ .

(48) 9* &

(49) !9 &$% )

(50)

(51) '

(52) . ! 7-8$% ,

(53)

(54)

(55) ' ! ' ¼ ! $'

(56)

(57) ( : ( ;

(58) : ( '

(59)

(60) $%

(61)

(62) .

(63) ./

(64) / % < (

(65)

(66)

(67) ' 7=' >' -8 !

(68) . $' 78

(69) %. .

(70) )

(71) * % , ? . .

(72) % , @

(73)

(74) : (

(75)

(76) % 5

(77) A B 50C,# D '

(78)

(79)

(80) !%%' $% ,

(81)

(82)

(83) % , 1

(84) Æ '

(85) 50C,# .

(86) ' "# !. 9 &$% , E

(87)

(88)

(89) '

(90) (

(91) % ,'

(92) .

(93) .

(94)

(95) . % "

(96) '

(97)

(98)

(99)

(100)

(101)

(102) '

(103)

(104)

(105)

(106) 1

(107) %

(108) F

(109)

(110)

(111)

(112) . % / E

(113) % <'

(114) . * = !

(115) .

(116)

(117) $%.

(118)

(119) .

(120)

(121) .

(122)

(123)

(124) ./

(125) /

(126) 7@8%

(127) ('

(128)

(129)

(130)

(131)

(132)

(133)

(134) 1

(135)

(136) % # (

(137) 7?' E' >8%

(138)

(139) !$

(140)

(141) '

(142)

(143)

(144) ! $ % 0

(145)

(146)

(147)

(148)

(149)

(150) !

(151)

(152) $% "

(153) . '

(154) %

(155)

(156) &4 * !& $D

(157)

(158) 1

(159) . % , 1

(160) Æ . '

(161) ! &$ (

(162) . . "# .

(163)

(164) *

(165)

(166) 7?8% "# *

(167)

(168)

(169)

(170)

(171)

(172) !%%' "# G $% ?.

(173) )

(174) * D . .

(175) !$

(176).

(177)

(178) '

(179)

(180) ! $ : ( % &'

(181) . H

(182) . D. .. F. < 7E8'

(183)

(184) D 1. 1. !%%' "# F

(185)

(186) ; .

(187) 1 $%. . . .

(188) . % I

(189) 1 1 D

(190) !$ F

(191) !$ F ; !$ F !$ F . !$. " % ,

(192) 1' @ .

(193)

(194) %

(195) !. 9 &*$

(196) : ( % )

(197)

(198) * !

(199)

(200)

(201) $%. .

(202) . .

(203) . . . . .

(204)

(205) . /

(206)

(207) ' .

(208) %

(209) .

(210) 1 1 D. .

(211) !$ F

(212) !$ F ; !$ F

(213)

(214) 1 !$ F !$ F

(215) . '

(216) !$ F

(217)

(218)

(219) 4 % 9 &* !7-8' %?%E$' (

(220) % + F ;

(221) !$ F

(222) !$ F ' F ; !$ F '

(223) .

(224) 7 8

(225)

(226)

(227) . 7 8 !

(228) $ ! J ? J $

(229) F . @. .

(230) . !?$.

(231)

(232)

(233) : ( % )

(234)

(235)

(236) '

(237)

(238)

(239) % ,

(240) '

(241)

(242) ! $'

(243) ! $

(244) % / ! $ ' Æ

(245)

(246) ! $% +

(247) % /

(248) !$ F F

(249) !$ F !$ F ' !?$

(250)

(251) !$ F % /

(252)

(253)

(254) '

(255) ! $% +

(256)

(257) ! $ % . @ 78' J

(258)

(259) !$' !$ ! $ !

(260) 1 .

(261) '

(262) .*4

(263) $% /

(264)

(265)

(266) '

(267)

(268)

(269) '

(270) H * 7=8

(271)

(272) !

(273) $ ! J J $ .

(274)

(275) !

(276) $

(277) F. .

(278) . )

(279) D

(280)

(281) . . F. . .

(282)

(283) . !

(284)

(285) $ ! J J $ J

(286)

(287)

(288) % &

(289)

(290) ! $% /

(291)

(292) F J '

(293) ! $ % )

(294)

(295)

(296) '

(297)

(298) % ¾ . . ,

(299) '

(300) Æ F

(301) Æ

(302) 4 ? % )

(303) (

(304) !'

(305) $% )

(306)

(307) Æ

(308) )

(309) ? )

(310) %

(311)

(312) : (

(313)

(314) ! $ F ' 1 %

(315) '

(316) .

(317) % 0 '

(318)

(319)

(320)

(321)

(322) %. . . . . . . . .

(323)

(324)

(325)

(326)

(327) .

(328)

(329)

(330)

(331).

(332) 5 F

(333)

(334)

(335) )

(336) '

(337)

(338) % / ' F ! $

(339)

(340)

(341)

(342) . F ! $

(343)

(344) % ¾. . .

(345)

(346)

(347) )

(348) 5

(349)

(350) !

(351)

(352)

(353) $%

(354) ' 9 &* 7-8

(355)

(356)

(357) 1 !

(358) $ % )

(359)

(360) % )

(361)

(362)

(363)

(364) 78%. . .

(365) . " 50C,# . . .

(366) !$ F

(367) !$ F . !@$. 1 % "' .

(368) % "

(369) %. . . 50C,#. . .

(370) . ,

(371)

(372)

(373)

(374) !@$ ! . '

(375) $% <

(376)

(377)

(378) %. . 50C,# #

(379) 50C,# "#. . ! " . .

(380) . )

(381)

(382) . 50C,#

(383)

(384) !

(385)

(386) $% )

(387) 5 ? 1 )

(388) ? !7E8' )

(389) E%=$%. . $ . "#

(390)

(391) . . . "#. )

(392)

(393) % + % .

(394)

(395)

(396)

(397) 7@8% ,

(398) . & E.

(399)

(400) !

(401)

(402) . & $% / & "# 9 & !

(403) 7?8$'

(404) %

(405)

(406) 50C,# '

(407) 7@8

(408)

(409) 50C,#

(410)

(411) )

(412) ? % )

(413)

(414) . 50C,# & 50C,# % )

(415)

(416)

(417) !@$ . ' % )

(418)

(419) !$ F

(420) !$ F F F 50C,# !@$ . !'

(421)

(422) $% ,

(423)

(424)

(425)

(426)

(427) ' 1

(428) .

(429) !$ F

(430) !$ F . . F . . F . . F .

(431) 50C,#

(432) ?% )

(433)

(434) 50C,#

(435) C )

(436) ' . !78' 5

(437) ' >%$%. . %

(438).

(439) J. . .

(440)

(441) . $

(442) . )

(443)

(444) F %. . %

(445). . . . . . . .

(446)

(447).

(448) J .

(449)

(450) . & .

(451) '

(452) ( ) &

(453) Æ . . . . . . . .

(454)

(455).

(456)

(457) (. ) &

(458) Æ . . .

(459)

(460). .

(461)

(462) (. ). .

(463) . .

(464)

(465) !$ !$% + Æ

(466)

(467)

(468) % +

(469)

(470) % )

(471)

(472) % '

(473)

(474) !$ !$'

(475)

(476)

(477) !$

(478) !$% +

(479) . . =.

(480) ' F % , J

(481)

(482) C )

(483)

(484) % ,

(485) !$

(486) ' ! . $ '

(487)

(488) % <'

(489) !$ !$ ' Æ A B Æ % )

(490) ' F ' ! $ ! $ F !

(491)

(492) . '

(493) .

(494) ! $

(495) $% )

(496)

(497) % ¾ )

(498)

(499) 50C,#

(500) 1 !$ !$ ?D . Æ

(501)

(502)

(503) 5

(504)

(505)

(506) % # ' .

(507) ( ! $

(508) F J K ! $

(509) % )

(510) 1

(511) F J !@$% K

(512)

(513) 1

(514) % )

(515)

(516) )

(517) ?

(518)

(519) 50C,#

(520) % ¾. & *. . .

(521) . " 1

(522)

(523)

(524) '

(525)

(526) %

(527) .

(528)

(529) 50C,# ( %. . +. 50C,#. .

(530) . F . 50C,#

(531) 50C,#

(532) % ,

(533) '

(534)

(535) F % ¾ . @

(536)

(537) 50C,# '

(538) %. . +. F .

(539) (

(540) ! " .

(541) )

(542)

(543)

(544)

(545) . + ! $ % 5 ' % )

(546)

(547)

(548) F % )

(549) @

(550) "# F % )

(551) ( L F G 7' 8% ¾ . >.

(552) )

(553)

(554) 50C,#. . +. 50C,#. . . % .

(555) (

(556) ! " .

(557) )

(558)

(559)

(560)

(561) . <

(562) ' % " ,/0 1 !@$% )

(563)

(564) % ,

(565)

(566) 4 7 8 7 8 !

(567)

(568) Æ $'

(569) ,/0% " &

(570) 1

(571) F

(572) F J % )

(573) .

(574)

(575) 4

(576) * % .

(577) Æ '

(578) & %. ! &. . . . ,/0. . . )

(579)

(580) . ,/0

(581)

(582) . & % ,'

(583) .

(584) !'

(585) $

(586) .

(587) * !%%' * H

(588) $% ,

(589)

(590) &

(591) % )

(592)

(593) .00+/M/% "

(594) . 1 % I

(595) 1 .

(596) F !"' F

(597) ' F

(598) % "

(599) . % + # .00+/M/%

(600) $# & J

(601)

(602) # . $#

(603) % )

(604) 1 $#% )

(605)

(606) 1 F ! $% I

(607) 1

(608) . 1 #

(609) % <

(610) 1 #

(611) F !"

(612) 1 F $#% ) 1

(613) F

(614) .

(615) 1 F ' 1

(616) F

(617) .

(618) 1 . . . F ! J

(619) $ J ?. !. J

(620) $ . < 1

(621) . J

(622) 1 J % ".

(623) #

(624) . ! $% , .

(625)

(626) (

(627) F ' F

(628) F

(629) ' ! $ $#% -.

(630) 5 ' .

(631) $#

(632) ! $% <

(633) 1

(634)

(635) *'

(636)

(637) 1 % / F !" F ' F %" F % , .

(638)

(639) (

(640) ! $ #% / $# # '

(641)

(642)

(643) & & '

(644) % ¾ )

(645)

(646)

(647) 1 ?'

(648) & ,/0

(649)

(650) % ,

(651)

(652) )

(653) = * % # ' ( !

(654) $

(655) & !($D

(656)

(657)

(658) 1 !

(659) Æ $

(660) ( %. " &!($. . . . (. 0

(661)

(662) )

(663) =

(664) H % +

(665) .

(666) (

(667) % ,

(668) '

(669)

(670) )

(671) =% )

(672) 1

(673) F $# F % " 1 #

(674) F !" A B F $#% F

(675) . F J ' F

(676) . D F

(677) J ! J

(678) $ . ".

(679) #

(680) . ! $% , .

(681)

(682) (

(683) F ' F

(684) F

(685) ' ! $ $#% 5 ' .

(686) $#

(687) ! $% <

(688) 1 $#

(689) *'

(690)

(691) 1 % / F !" F ' F %" F % ,

(692)

(693) (

(694) ! $ #% / $# # '

(695)

(696)

(697) & !($ & '

(698) % ¾ , 50C,#

(699) ,/0

(700) . 6

(701) 50C,# F % , 50C,# ' ,/0

(702)

(703) % / ,/0 .

(704) '

(705) @

(706) "#'

(707)

(708)

(709) ! 9 &$% ¾ & ,. )

(710) ! $ .

(711)

(712) 50C,#

(713) Æ '

(714)

(715) .

(716) ' . F % .

(717)

(718) 50C,#

(719)

(720)

(721)

(722) ' (

(723)

(724)

(725)

(726)

(727) % #

(728) & ,/0 ' (

(729)

(730)

(731) ,/0

(732)

(733)

(734) % <' (

(735)

(736) & %. .

(737) . )

(738)

(739) .

(740) %. #

(741)

(742). . .

(743)

(744)

(745)

(746)

(747) ¼

(748) . .

(749) . . .

(750)

(751)

(752) .

(753) . ( )

(754) ?% &

(755)

(756) D . '

(757)

(758) ¼ % . )

(759) '

(760) % ¾ . , Æ

(761)

(762)

(763)

(764) )

(765) ? % " 5 ?' )

(766) -

(767)

(768) Æ '

(769) "# % )

(770) 1

(771) )

(772) % + !$1

(773) Æ ( %

(774)

(775) * D

(776) ( 1 F ! $

(777)

(778) %. $.

(779) .

(780)

(781)

(782). ¼ . . .

(783)

(784)

(785) . )

(786)

(787) %. %

(788). %

(789). .

(790) .

(791). . .

(792)

(793) . &

(794)

(795) '

(796). ( ) . . $ (. ). ¼ . .

(797) . ! J. . )

(798) )

(799) ( % .

(800) .

(801)

(802) %. .

(803) . . . . %

(804). . .

(805)

(806)

(807) .

(808) . . . (

(809) . . . . +. . .

(810) .

(811) . . .

(812). ). )

(813)

(814) % +

(815) .

(816) ' (

(817)

(818) % , Æ

(819)

(820) ! $

(821) Æ

(822) (' ! F $ % )

(823) .

(824)

(825) (' . !. J J . F $ . )

(826) 1

(827)

(828) * + % ¾. & . J J F

(829) -

(830) ) ( &

(831)

(832)

(833) (!$. $

(834)

(835).

(836) . F ! $. (. . . ".

(837) (!$ (% "

(838) 4 (!$ ! F $'

(839) (! $

(840) % & (!$' % (!$ F % (! $ % ¾ . " ' .

(841) F % , ¼

(842) : (

(843)

(844) % " E F '

(845) % <.

(846) '

(847)

(848) % )

(849) .

(850)

(851) !$ !$% 5 ' .

(852) ¼ J % )

(853)

(854)

(855)

(856) ' J % + . % .

(857)

(858) ' J % N

(859) ' E

(860) J % / ! $ '

(861) : ( ' ! $ ' % ¾ & ./.

(862) )

(863) %. .

(864) .

(865)

(866)

(867) ¼ % . '

(868)

(869)

(870) % )

(871) .

(872) D ( )

(873) F K ! $% " !$1 ! J $

(874) F J

(875)

(876) !$ % )

(877) ( % . 5 '

(878)

(879) ! J $ (

(880) % ¾ . . !"#$

(881) .

(882) "

(883) , - & - ,-& ,.

(884) /,'0*)011 %. 2)3 % + ,

(885) 4 $ !

(886)

(887) ! 5647189706! )'(( 273 % +! . : " ! ,! , ,

(888)

(889)

(890) ,

(891) ;

(892) ! )''( 253 % +! ,! , , < 4 !

(893)

(894)

(895)

(896) ! 7))4)986! = )'(' 283 - + ! = >! , ? / @

(897) ! 714)709)57! )'(0 213 < : A , # - )''0B5! & C /

(898) ! D E : + % &! )''0 #

(899)

(900) 263 :

(901)

(902)

(903)

(904)

(905)

(906) ! 5884)(5(9)((7! )'(6 # !

(907) " #

(908) " "

(909) " $ "

(910) " " % &$'! )504)78)((! )'(8 203 :

(911) $

(912)

(913) (

(914) ! ))0B))(4)819)01! )''0 2(3 C = $

(915) 9 9 E F EE

(916) E G E EG ?.

(917) & # : # ! ! )* (

(918) + &)+,-.'!

(919) '8!

(920) )6'9)'8 + "H ! )''). 2'3 C = $ % E E F EE

(921) E G &