lrsfourier - الإنترنت في السحابة

برنامج:

اسم

lrslib - التحويل بين إعادة تعيين الأشكال المتعددة السطوح المحدبة.

موجز

LRS المدخلات

LRS المدخلات | com.lrsbuffer

لرسفورييه file.ine [ملف]

زائدة المدخلات

الوصف

يمكن وصف متعدد الوجوه بقائمة من عدم المساواة (تمثيل H) أو من خلال قائمة
من رؤوسها وأشعةها المتطرفة (V- التمثيل). LRS هو برنامج سي يحول ملف
تمثيل متعدد السطوح على شكل حرف V والعكس صحيح. هذه المشاكل
معروفة على التوالي في قمة الرأس تعداد و محدب هيكل السفينة مشاكل.

فوكودا الأسئلة الشائعة صفحة[1] يحتوي على مقدمة أكثر تفصيلاً للمشكلة ، جنبًا إلى جنب مع
العديد من النصائح المفيدة للمستخدم الجديد.

com.lrsbuffer يمكن إزالة بعض المخرجات المكررة. زائدة يجد عدم المساواة الزائدة في
إدخال.

FILE صيغ

تم تطوير تنسيقات الملفات بالاشتراك مع Komei Fukuda وهي متوافقة مع العناية الواجبة[2].

المدخلات لـ LRS هو تمثيل H- أو V- من polytope.

الاسم
{سطر التمثيل}
{خيارات}
{الخطية[3]}
بدأ
مليون عقلاني
{مصفوفة الإدخال}
النهاية
{خيارات}

الاسم هو اسم قدمه المستخدم لـ polytope. قد تظهر التعليقات قبل البدء أو
بعد النهاية ، ولتجنب التفسير كخيار ، يجب أن تبدأ بخاصية
حرف مثل "*" أو "#".

الاسم هو اسم قدمه المستخدم لـ polytope. التمثيل خط اما
"تمثيل H" أو "تمثيل V". إذا تم حذفه ، يفترض تمثيل الحرف H. ال
تتم قراءة معاملات الإدخال بتنسيق حر ، ولا يتم التحقق من نوعها. المعاملات هي
مفصولة بمسافة بيضاء. م هو عدد الصفوف و ن عدد أعمدة المدخلات
مصفوفة.

تمثيل H
العدد الصحيح م هو عدد المتباينات ، والعدد الصحيح ن هو بعد
الإدخال +1. تحتوي قائمة المتباينات على معاملات عدم المساواة في النموذج

a0 + a1x1 + ... + an-1 xn-1> = 0.

هذه المتباينة هي المدخلات كخط

a0 a1 ... an-1

يمكن إدخال المعاملات كأعداد صحيحة أو منطقية بالصيغة x / y.

V- التمثيل
العدد الصحيح م هو عدد الرؤوس والأشعة ، والعدد الصحيح ن هو بعد
الإدخال +1. يتم إعطاء كل رأس في النموذج

1 v0 v 1 ... vn-1

يتم إعطاء كل شعاع في النموذج

0 r0 r 1 ... rn-1

حيث r0 r 1 ... rn-1 هي نقطة على الشعاع.

يجب أن يكون هناك رأس واحد على الأقل في كل ملف. بالنسبة لمعدلات الوجوه المتعددة السطوح المحددة لن يكون هناك
دخلت الأشعة. يمكن إدخال المعاملات كأعداد صحيحة أو منطقية بالصيغة x / y.

ملاحظات For العناية الواجبة المستخدمين: LRS يستخدم بشكل أساسي نفس تنسيق الملف مثل العناية الواجبة. الملفات المعدة لـ
العناية الواجبة يجب أن يعمل مع القليل من التعديل أو بدون تعديل. لاحظ أن V- التمثيل
يتوافق مع خيار "بدن" في العناية الواجبة. خيارات خاصة بـ العناية الواجبة يمكن تركه في الإدخال
الملفات وسيتم تجاهلها بواسطة LRS. لاحظ ملفات الإدخال الخاصة بـ LRS تتم قراءتها بتنسيق مجاني ،
بعد الخط m n عقلاني, LRS سيبحث بالضبط عن m * n العقلانية أو الأعداد الصحيحة مفصولة
بمسافة بيضاء (فارغة ، عودة إلى أول السطر ، علامة تبويب وما إلى ذلك). LRS لن "يسقط" أعمدة إضافية من
الإدخال إذا كان n أقل من عدد الأعمدة المزودة.

الباقة الأساسية مزيد من الخيارات
يتم وضع جميع الخيارات تقريبًا بعد بيان النهاية ، والحفاظ على التوافق مع العناية الواجبة.
إذا لم يكن الأمر كذلك ، فسيتم ذكره صراحة.

com.allbases يرشد هذا الخيار LRS لسرد كل رأس (أو وجه) لكل من قواعده.
الناتج تكرار[4].[5] غالبًا ما يتم الجمع بين هذا الخيار و printcobasis.

ملزم x استخدم مع تمثيل H - لـ lrs أو nash إما تكبير أو تصغير
يجب تحديد الخيار. x عدد صحيح أو منطقي. لتعظيم (resp.
تصغير) يتم قطع شجرة البحث العكسي كلما كانت قيمة الهدف الحالية
أقل (على التوالي أكثر) من س.

مخبأ nLRS يخزن أحدث قواميس n في شجرة البحث العكسي. هذا يسرع
خطوة التراجع ، ولكنها تتطلب المزيد من الذاكرة.

تصحيح البداية نهايةأساساطبع تتبعًا مشفرًا ولكنه مفصل وقواميس وما إلى ذلك.
تبدأ من # B = بداية الأساس وتنتهي عند # B = endbasis. تصحيح 0 0 يعطي كامل
تتبع.

الأرقام n وضعت قبل ال بدأ بيان n هو الحد الأقصى لعدد الأرقام العشرية المطلوب
مستخدم. إذا تم تجاوز ذلك ، ينتهي البرنامج برسالة (يمكن أن تكون عادةً
إعادة). الإعداد الافتراضي هو حوالي 100 رقم. في نهاية تشغيل الرسالة هي
نظرا لإعلام المستخدم بأقصى حجم للعدد الصحيح الذي تمت مواجهته. يمكن استخدام هذا ل
تحسين استخدام الذاكرة وسرعتها في عمليات التشغيل اللاحقة (في حالة إجراء التقدير على سبيل المثال).

ازدواجية إذا تم تنفيذ lrs باستخدام خيار التكبير أو التصغير ، يتم البحث العكسي
تتجذر الشجرة في قمة الرأس المثالية لهذه الوظيفة
الرؤوس ، لن يكون الناتج غالبًا كاملاً. يعطي هذا الخيار اضطرابًا صغيرًا لـ
الهدف لتجنب ذلك. يتم إعطاء رسالة تحذير إذا كان قاموس البداية مزدوجًا
تتدهور.

تقديرات k تقدير حجم الإخراج. تستخدم مع maxdepth - انظر
تقدير.[6]

هندسي // خيار H- أو voronoi فقط // مع هذا الخيار ، يكون كل شعاع
مطبوعًا مع الرأس الذي وقع به. لمزيد من المعلومات، راجع
الأشعة الهندسية في إشارة و التعليقات[5].

حدوثيتم تشغيل هذا الخيار تلقائيًا printcobasis ، لذلك انظر أدناه للحصول على
وصف هذا الخيار أولا. يمكن استخدامها مع printcobasis n. (الإصدار 4.2 ب) .PP لـ
إدخال تمثيل H ، مؤشرات جميع متباينات الإدخال التي تحتوي على الرأس / الشعاع الذي
على وشك أن يكون الإخراج. للوجه البسيط ، لا توجد مخرجات جديدة ، منذ هذه المؤشرات
مدرجة بالفعل. خلاف ذلك ، يتم سرد التفاوتات الضيقة الإضافية بعد القولون.
.PP بالنسبة لمدخلات تمثيل V ، فهارس جميع رؤوس / أشعة الإدخال التي تقع على الوجه
هذا على وشك أن يكون الناتج. يشير الفهرس المميز بنجمة إلى أن هذا الرأس موجود أيضًا في
cobasis ، ولكن لا يرد في الوجه. ينشأ بسبب عملية الرفع المستخدمة
مع تمثيلات V المدخلات.

#حدوثنفس printcobasis. مضمن للتوافق مع قرص مضغوط.

الخطي k i1i2 i ikيحتوي الإدخال على خطي k في الصفوف i1i2i ikل
ملف الإدخال عبارة عن معادلات. يرى الخطية.[3]

أقصى عمق k سيتم اقتطاع البحث في العمق ك. جميع القواعد بعمق أقل من أو
يساوي ك سيتم حسابه. k هو عدد صحيح غير سالب ، ويستخدم هذا الخيار مع
تقديرات - انظر تقدير.[6]ملاحظات: بالنسبة لتمثيلات H ، لن تكون الأشعة عند العمق k
ذكرت. بالنسبة لتمثيلات V ، لن يتم الإبلاغ عن الأوجه الموجودة في العمق k.

تعظيم a0 a1 ... و- 1 // H- التمثيل فقط //

تقليل a0 a1 ... و- 1 // H- التمثيل فقط //

إذا تم استخدامه مع lrs ، يقوم رأس البداية بتكبير (أو تصغير) الوظيفة a0 + a1x1 + ...
+ an-1 xn-1. قد تكون هناك حاجة إلى خيار Dualperturb لتجنب الانحطاط المزدوج انظر Nash
اتزان و خطي برمجة وتطوير[7]

أقصى انتاج n يحدد عدد خطوط الإخراج المنتجة (إما الرؤوس + الأشعة أو الأوجه) إلى n

التفكير k سيتم إنهاء التراجع عند العمق k ، من أجل ka عدد صحيح غير سالب. هذا
يمكن استخدامها لإجراء بحث عكسي على الأشجار الفرعية كعمليات منفصلة ، على سبيل المثال في ملف
بيئة الحوسبة الموزعة.

غير سالب // يجب أن يأتي هذا الخيار قبل بداية العبارة // // H- التمثيل فقط
// الخطأ: يمكن استخدامه فقط إذا كان الأصل هو رأس متعدد السطوح بالنسبة للمسائل حيث
الإدخال هو تمثيل H للصيغة b + Ax> = 0 ، x> = 0 (أي جميع المتغيرات
غير سالب ، جميع القيود المتباينة) ليس من الضروري إعطاء غير سالب
القيود بشكل صريح إذا تم استخدام الخيار غير السلبي. لا يمكن استخدام هذا الخيار ل
V- تمثيلات ، أو مع خيار الخطية (في هذه الحالة ستكون الخطوط الخطية
تعامل على أنها عدم مساواة). يمكن استخدام هذا الخيار مع التكرار ، ولكن ضمنيًا
لا يتم اختبار قيود اللاسلبية نفسها من أجل التكرار. لاختبار كل شيء عليه
ضروري لإدخال قيود اللاسلبية بشكل صريح في ملف الإدخال. (في الإصدار
4.1 ، يجب أن يكون الأصل رأسًا).

printcobasis k;تم التعديل في lrs 4.0 تتم طباعة كل k'th cobasis. إذا تم حذف k ، فإن
تتم طباعة cobasis لكل رأس / شعاع / وجه ناتج. على المدى الطويل هو مفيد
لطباعة cobasis من حين لآخر بحيث يمكن إعادة تشغيل البرنامج إذا لزم الأمر.
تمثيل H: إذا كان الإدخال عبارة عن تمثيل H ، فإن cobasis هي قائمة مؤشرات
المتباينات من ملف الإدخال الذي يحدد الرأس أو الشعاع الحالي. انظر الخيار
حدوث أعلاه لمزيد من المعلومات. بالنسبة للأشعة ، تتم طباعة الكوباسيز أيضًا. في هذه الحالة
و cobasis هو cobasis للقمة التي ينبعث منها الشعاع. أحد المؤشرات
تم تمييزه بنجمة ، وهذا يشير إلى عدم المساواة التي سيتم إسقاطها من cobasis لتعريف
شعاع. بدلاً من ذلك ، إذا كان com.allbasesتم استخدام الخيار ، ستتم طباعة جميع الخزائن.
V- التمثيل: إذا كان الإدخال عبارة عن تمثيل V ، فإن cobasis هي قائمة من المدخلات
الرؤوس / الأشعة التي تحدد الوجه الحالي. انظر الخيار حدوث أعلاه للمزيد
معلومة. لبدء LRS من هذا الجانب ، يجب إعطاء جميع المؤشرات الأربعة بهذا الترتيب
(حذف *).

مطبوعات سوداء الجديد في Ver 4.2؛ // Use with H-Representation // يطبع lrs قائمة بملفات
مؤشرات متباينات المدخلات التي يتم استيفائها بشكل صارم للرأس الحالي ، أي.
متغير الركود المقابل موجب. إذا تم تعيين غير سالب ، فستقوم القائمة أيضًا
قم بتضمين المؤشرات n + i لكل متغير قرار xi وهو إيجابي. تنفيذ المشاريع استعمل من قبل
لرسفورييه[8] فقط.

إعادة تشغيل V# R# B# عمق {وجه #s or قمة الرأس / شعاع #s} تم التعديل في lrs4.0 LRS يمكن أن يكون
إعادة التشغيل من أي cobasis معروف. سيستمر الحساب إلى الإنهاء العادي. الجميع
من المعلومات الواردة في الإخراج من printcobasis اختيار. ال طلب of
ال مؤشرات is جدا مهم، أدخلها تمامًا كما تظهر في الإخراج من ملف
تشغيل أجهضت سابقا.

البداية i1i2i في 1 هذا يسمح للمستخدم بتحديد cobasis معروف ل
بدء البحث العكسي. i1i2i في 1 هي قائمة المتباينات (ل
تمثيل H) أو الرؤوس / الأشعة (للتمثيل V) التي تحدد cobasis. اذا كانت
غير صالح ، أو لم يتم تحديد هذا الخيار ، LRS سوف تجد cobasis البداية الخاصة بها. ال
يتم قطع (تقليم) شجرة البحث العكسي كلما واجهت قمة جديدة. لاحظ هذا
لا تُنتج الملاحظة بالضرورة مجموعة كل الرءوس المجاورة للرأس الأمثل في
متعدد الوجوه ، ولكن مجرد مجموعة فرعية منهم.

مطنباطبع معلومات أكثر تفصيلاً قليلاً عن السباق.

حجم // V- التمثيل فقط // حساب الحجم - انظر القسم الصوت حساب.[9]

فورونوي // V- التمثيل فقط - ضع مباشرة بعد عبارة النهاية // Compute
مخطط فورونوي - انظر القسم فورونوي المخططات.[10]

الملاحظات

1. صفحة التعليمات
http://www.ifor.math.ethz.ch/staff/fukuda/polyfaq/polyfaq.html

2. قرص مضغوط
http://www.cs.mcgill.ca/٪ 7Efukuda / soft / cdd_home / cdd.html

3. الخطية
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Linearities

4. إخراج الازدواجية
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Output٪ 20 مضاعفة

5.
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Hints٪ 20and٪ 20Comments

6. التقدير.
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Estimation

7. البرمجة الخطية
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Linear٪ 20Programming

8. رسفورييه
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # fourier

9. حساب الحجم.
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Volume٪ 20Computation

10. مخططات فورونوي.
http://cgm.cs.mcgill.ca/٪ 7Eavis / C / lrslib / USERGUIDE.html # Voronoi٪ 20 الرسوم البيانية

استخدم lrsfourier عبر الإنترنت باستخدام خدمات onworks.net