Thread Links |
Date Links |
||||
---|---|---|---|---|---|

Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |

*To*: skalna <skalna@xxxxxxxxxx>, "stds-1788@xxxxxxxx" <stds-1788@xxxxxxxx>*Subject*: RE: Question about strong regularity of (parametric) interval matrices*From*: "Kreinovich, Vladik" <vladik@xxxxxxxx>*Date*: Sun, 29 Oct 2017 17:59:19 +0000*Accept-language*: en-US*Arc-authentication-results*: i=1; mx.google.com; spf=pass (google.com: domain of vladik@xxxxxxxx designates 129.108.148.128 as permitted sender) smtp.mailfrom=vladik@xxxxxxxx*Arc-message-signature*: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-language :accept-language:in-reply-to:references:message-id:date:thread-index :thread-topic:subject:cc:to:from:arc-authentication-results; bh=w3TxJTo1fKF7nZHSIBoX93aKCwZrmC3arUaYRPuvTQc=; b=PnsRG63X3AqKG1pOGgSaQDdyN3QYIzbMuy5on3Y0uAxORidRQLv2xP3IdPIed05Mrt ymghPyJTYbbW2xE/HNuiYiFiYs688JdmW9e17rEtw8dBP4rB9UVXV8dsl9Sc/y6eAZl9 CQOLY+6K5yKo+tTFsw5BAJyeu8cM8omecniau11ClgvFYqQ6XOy6HYyE6Fx5KYqOd46j rxLtXhWjlbg35ZnQH4ieHI72j0Jd6NzqvJ/KbCnZHhlt2edHp06E3a1PaOlAxcjSy+pE 39v6eUBKM2ETcO2hMrnjrDncEOHO8GV6fSyEVNVUeZ6ZbkA51ImC2D9z7mX6wsIzNBMm rnvw==*Arc-seal*: i=1; a=rsa-sha256; t=1509299992; cv=none; d=google.com; s=arc-20160816; b=koU1KoJIHs3wQ4b3VvKwmpYeN5kVMiYfm8v/Jccu7sNvEZTH5DUGJZPkORAoxQgtyD TldYMFDSZq0jFYMKjqh8vA2VV+DUZc3nbLvPdV41LA0IMk3naC8xB4hBu9fgHwVqJXHx +rck3NAP+qKqu15+L9xPWMfReynO3kFkNm8mnc2Yv8By3u1+uGJrQ2n71dLZLAIYX4EO ZNBHRSHbhV+ba1VA+yJ/9LYgKsBSGxeiaNJm3lKxksSOH3su73xOyZahf9BSde+QiP5+ DxBD0weB49Nej9IYcy7aSewT5V+XSZsJxCG/UqT+Gyam0Oam9SoIMyyFwNcCh9oa7L+a KREw==*Cc*: "reliable_computing@xxxxxxxxxxxxxxxxxxx" <reliable_computing@xxxxxxxxxxxxxxxxxxx>*Delivered-to*: mhonarc@xxxxxxxxxxxxxxxx*In-reply-to*: <f76c74bb624124ea2fc65b23b6b4470d@agh.edu.pl>*List-help*: <https://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>*List-owner*: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>*List-subscribe*: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>*List-unsubscribe*: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>*References*: <f76c74bb624124ea2fc65b23b6b4470d@agh.edu.pl>*Sender*: stds-1788@xxxxxxxx*Thread-index*: AQHTUNudvn7J46TE5U6cC8n32/P28KL7GSyw*Thread-topic*: Question about strong regularity of (parametric) interval matrices

Dear Ivona, Please note that you sent not to the interval mailing list but the interval standard mailing list, which is different, I am sending this reply to the acyiual interval community mailing list. The standard mailing list is dealing with the interval standard. I have two answers to your question. 1) On the substance: the main objective is to check whether the interval matrix [A] is regular, i.e., if every matrix from this interval is regular. In general. This is known to be NP-hard, which means that unless P=NP, there is no hope of having a feasible algorithm that would always check correctly. There are feasible algorithms for which, if the result is yes, the interval matrix is regular, if no, wit may be regular it may be not we do not know. It is definitely worthwhile to try to come up with new such algorithms. One of these algorithms, as you mention correctly, is checking whether \rho(|(mid(A))^{-1}rad([A])|)<1.=, but I do not think that it is equivalent to checking whether the matrix [B]=mid(A))^{-1}[A] is regular, because checking this for an interval matrix [B] is, therefore, NP-hard as well. Similarly, checking the regularity of the inverse product matrix [C]= }[A]mid(A)^{-1} is also NP-hard, so by itself does not lead to any new feasible algorithm, so I am not sure how this comment helps. 2) My opinion (which our professors in St. Petersburg university installed into us) is that definitions are somewhat arbitrary, one does not argue too much about the definitions. I am not very familiar with the definition of strong regularity as \rho(|(mid(A))^{-1}rad([A])|)<1, you say that this is the definition in most papers, I have not seen any paper with such a definition, can you name one? It indeed sounds somewhat arbitrary, if you want to propose a new definition fine, just use a different term. However, you did not provide any feasibly testable new definition, and if your definition is not feasibly testable, why not just say that an interval matrix is regular if all corresponding numerical matrices are regular? -----Original Message----- From: stds-1788@xxxxxxxx [mailto:stds-1788@xxxxxxxx] On Behalf Of skalna Sent: Sunday, October 29, 2017 11:30 AM To: stds-1788@xxxxxxxx Subject: Question about strong regularity of (parametric) interval matrices Dear Members of Interval Community, I have the following question. Most of papers on solving interval linear systems says that interval matrix is strongly regular if \rho(|(mid(A))^{-1}rad([A])|)<1. or equivalently if [B]=mid(A))^{-1}[A] is regular. But we can also post-multiply the matrix, and it is probable that the matrix [B] will not be regular, but the matrix [C]=[A}A^{-1} will be regular. So, shouldn't the definition of strong regularity of interval matrices be changed? I am in fact more interested in parametric interval matrices, but parametric matrices are strictly connected with interval matrices. Best regards, Iwona Skalna -- ___ ____ __ __ | _ | _| | | | Iwona Skalna | | | | | | | Department of Applied Computer Science | |_|_|____|__|__| | ul. Gramatyka 10, 30-067 Kraków, Polska |

**Follow-Ups**:**Re: [Reliable_computing] Question about strong regularity of (parametric) interval matrices***From:*Walter Mascarenhas

**References**:

- Prev by Date:
**Re: [Reliable_computing] Question about strong regularity of (parametric) interval matrices** - Next by Date:
**Question about strong regularity of (parametric) interval matrices** - Previous by thread:
**Question about strong regularity of (parametric) interval matrices** - Next by thread:
**Re: [Reliable_computing] Question about strong regularity of (parametric) interval matrices** - Index(es):